Безупречная логика 3: логические операции и вспомогательные свойства

Третья передача рассказывает о методе логического анализа, под условным названием «безупречная логика». В ней разбирается, как при помощи таблиц описывать то, что в формальной логике называется «логическими операциями», как их трактовать в плане передачи логического смысла фраз, а также ловкие манёвры, радикально упрощающие и так уже гораздо более простой подход, нежели «традиционный». Для понимания происходящего настоятельно рекомендуется посмотреть первую часть: