Разделительно-категорическое умозаключение

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

Простые суждения, из которых состоит разделительное (дизъ­юнктивное) суждение, называются членами дизъюнкции, или дизъ­юнктами.

Различают два модуса разделительно-категорического умозаклю­чения: утверждающе-отрицающий (modus ponendo-tollens) и отри-цающе-утверждающий (modus tollendo-ponens).

В утверждающе-отрицающем модусе меньшая посылка (катего­рическое суждение) утверждает один дизъюнкт, заключение отрица­ет другой дизъюнкт. Его схема в символической записи:

где V - символ строгой дизъюнкции.

Заключение всегда достоверно, если соблюдается правило: боль­шая посылка должна быть исключающе-разделителъньш суждением (суждением строгой дизъюнкции).

В отрицающе-утвержающем модусе меньшая посылка отрицает один (или несколько) дизъюнктов, заключение утверждает остав­шийся дизъюнкт. Его символическая запись:

<р v q>, Лр

Ч где знак <...> - символ полной (закрытой) дизъюнкции².

¹ Речь А. И. Урусова по делу Волоховой // Смолярчук В.И. Гиганты и ча­родеи слова. С. 259-

² Разделительная посылка может включать не два, а большее число дизъ­юнктов.78

Глава 4. Дедуктивные умозаключения

Заключение будет достоверным, если соблюдается правило: в большей посылке должны быть перечислены все возможные дизъюнк­ты (большая посылка - полное (закрытое) дизъюнктивное высказы­вание) (см. учебник, гл. VII, § 2).