Фигура

Для четвёртой фигуры силлогизма получаем:

при этом

Не выписывая подробно промежуточные вычисления, сразу приведём вид выражения для S:

Значит, таблица Карно истинности для этого выражения:

Z	Y X

Сравнивая таблицы для S и , приходим к выводу, что условия импликации, не выполняются для двух дефектных блоков:

и

поэтому четвёртая фигура не является логическим законом, а её исправленный вид приводится в п.3.7 следующего параграфа.

Остальные виды сложных логических операций, которые подробно рассмотрены во многих учебных пособиях, мы оставляем для самостоятельного знакомства нашим читателям.

Контрольные вопросы:

1. Понятие о специальных видах сложных высказываний.

2. Строение фигур силлогизма.

3. Анализ первой фигуры силлогизма.

4. Анализ второй фигуры силлогизма.

5. Анализ третьей фигуры силлогизма.

6. Анализ четвёртой фигуры силлогизма.

7. Определение дефектных блоков фигур силлогизмов.

8. Методы исправления дефектных блоков.