Выводы в силлогистике подразделяются на непосредственные и опосредованные.
Непосредственные дедуктивные умозаключения.
Превращение
Схемы:
(А) Все S есть P (Е) Ни одно S не есть не-P | (E) Ни одно S не есть P (А) Все S есть не-P |
(I) Некоторые S есть P (О) Некоторые S не есть не-P | (О) Некоторые S не есть P (I) Некоторые S есть не-P |
Обращение.
Схемы:
(А) Все S есть P (I) Некоторые P есть S | (E) Ни одно S не есть P (E) Ни одно P не есть S |
(I) Некоторые S есть P (I) Некоторые P есть S | (О) Некоторые S не есть P не обращаются. |
Противопоставление предикату.
Схемы:
(А) Все S есть P (Е) Ни одно не-P не есть S | (E) Ни одно S не есть P (I) Некоторые не-P есть S |
(I) Некоторые S есть P путем противопоставления предикату не преобразуются. | (О) Некоторые S не есть P (I) Некоторые не-P есть S |
Противопоставление предикату может быть рассмотрено как результат двух последовательных операций:
1. Превращение.
2. Обращение превращенного суждения.