Фигура. В данном случае получаем последовательность бинарных операций:

В данном случае получаем последовательность бинарных операций:

Для внутренних бинарных операций и их отрицаний получаем:

Поэтому для конъюнкции и её отрицания находим:

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

Значит, в данной формуле есть нерабочий (дефектный) блок

Следовательно, вторая фигура силлогизма не является законом логики и требует исправления (преобразования к виду закона логики), которое будет указано в параграфе, посвященном законам логики.