V Пример. Проанализировав возможные модельные схемы посылок и заключения модуса eai

Проанализировав возможные модельные схемы посылок и заключения модуса eai, получим следующую демонстрацию опровержения наличия в нём логического следования (рис. 13):

U M⁺ P⁺

Большая посылка:

Меньшая посылка:

U S⁺, M⁺

^{___________________________}

Заключение:

U S^- P⁺

Рис. 13

Действительно, при истинности в модусе eai посылок суждение-заключение не соответствует модельным схемам формулы SiP и является ложным.

Дата добавления: 2015-09-05