Алгоритм построения вывода

1. Определить фигуру ПКС.

2. Проверить выполнение правил для посылок: как общих, так и специальных для данной фигуры. Если по крайней мене одно из них не выполняется, то вывод не возможен.

3. Только если выполняются все правила посылок, то по правилам вывода строится заключение.

(3д) Модусы ПКС

Модус – это разновидность ПКС в зависимости от количества и качества посылок и заключения.

Все S есть Р (А)

Некоторые S есть Р (I)

Ни одно S не есть Р (E)

Некоторые S не есть Р (O)

Правильные модусы I фигуры ПКС

B A R B A R A Все М есть Р (А)

Все S есть М (А)

Все S есть Р (А)

C E L A R E N T Ни одно М не есть Р (Е)

Все S есть М (А)

Ни одно S не есть Р (Е)

D A R I I Все М есть Р (А)

Некоторые S есть М (I)

Некоторые S есть Р (I)

F E R I O Ни одно М не есть Р (Е)

Некоторые S есть М (I)

Некоторые S не есть Р (O)