Разделительные умозаключения

Умозаключение, в котором одна из посылок – разделительное суждение, а другая посылка и заключение – категорические суждения, называется разделительным. Этот вид умозаключений имеет два модуса: утверждающе-отрицающий и отрицающе-утверждающий.

В утверждающе-отрицающем модусе путем утверждения одного из членов дизъюнкции производится отрицание всех остальных дизъюнктов:

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

Характер дизъюнкции на необходимость выводов по отрицающе-утверждающему модусу не влияет, т.е. разделительная посылка может представлять собой как строгую, так и нестрогую дизъюнкцию.

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