Фигура. На примере третьей фигуры силлогизма рассмотрим применение табличных методов

На примере третьей фигуры силлогизма рассмотрим применение табличных методов. В данном случае получаем

где обозначено

Выражение Р следует преобразовать в эквивалентную форму с тремя переменными

Для этой формы можно построить карту Карно с восемью рабочими блоками, которые затем следует сравнивать с соответствующими блоками у выражения S.

Таким образом, для выражения получаем таблицу:

Z	Y X

Теперь переходим к построению выражения S. Так как

Получаем по формуле для конъюнкции как логического произведения:

Поэтому, после раскрытия скобок,

Значит, для S получается таблица

Z	Y X

Проведём сравнение значений функции истинности для S и , учитывая, что логическое следование (импликация) характеризуется требованием выполнения неравенств:

Это неравенство нарушается только в блоке Поэтому указанный блок оказывается «дефектом» рассмотренной фигуры силлогизма. Эта фигура также, как и предыдущая, не является законом логики и требует исправления, которое будет указано в параграфе, посвященном законам логики.