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

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

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

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

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

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

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

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

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

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