Разделительнымназывается умозаключение, одна из посылок которого является разделительным суждением, а другая посылка и вывод являются категорическими суждениями.
Разделительное умозаключение является правильным при определенных условиях, а именно:
• части разделительного умозаключения в посылке находятся в отношении исключающего разделения (строгой дизъюнкции);
• части разделительного суждения в посылке исчерпывают объем делимого понятия.
Разделительное умозаключение существует в двух модусах: modus ponendo tolens — положительно-отрицательный, modus to-lendo ponens — отрицательно-положительный.
Modus ponendo tolens представляет собой умозаключение, большая посылка которого является разделительным суждением, меньшая — утвердительным суждением, а вывод — отрицательным суждением. Modustollendoponensпредставляет собой умозаключение, большая посылка которого является разделительным суждением, меньшая — отрицательным суждением, а вывод — положительным суждением.