Модельные схемы простого категорического силлогизма

Решить вопрос о правильности того или иного модуса ПКС можно семантическим методом и синтаксическим методом. Семантический метод состоит в рассмотрении модельных схем, отвечающих истинности как суждений-посылок, так и заключения. Рассмотрим в качестве примера модус oao третьей фигуры. Семантический анализ показывает, что множество модельных схем данного модуса по трём переменным S, P, M состоит из четырёх рядов модельных схем (рис. 27):

Рис. 27

Все суждения-заключения приведённых рядов модельных схем являются истинными, т. е. логически следуют из истинных же суждений-посылок.