Условные умозаключения называются так потому, что в качестве посылок в них используются условные суждения (если а, то b). Условные умозаключения можно отразить в виде следующей схемы.
Если а, то b.
Если b, то с.
Если а, то с.
Выше указана схема умозаключений, являющихся видом условных. Для таких умозаключений характерно, что все их посылки являются условными.
Разделительные умозаключения делятся на простые разделительные и разделительно-категорические умозаключения. В первом случае разделительными являются все посылки. Соответственно, разделительно-категорические суждения имеют в качестве одной из посылок простое категорическое суждение.
Таким образом, разделительным считается умозаключение, все или часть посылок которого являются разделительными суждениями. Структура простого разделительного умозаключения отражается следующим образом.
S есть А или В, или С.
А есть А1 или А2.
S есть А1 или А2, или В, или С.
Примером такого умозаключения является следующее.
Путь бывает прямым или окружным.
Окружный путь бывает с одной пересадкой или с несколькими пересадками.
Путь бывает прямым или с одной пересадкой, или с несколькими пересадками.
Разделительно-категорические умозаключения можно представить в виде схемы.
S есть А или В.
S есть А (В).
S не есть В (А).
Например:
Выстрел бывает точным и неточным.
Этот выстрел является точным.
Этот выстрел не является неточным.
Здесь необходимо упомянуть об условно-разделительных умозаключениях. От указанных выше умозаключений они отличаются посылками. Одна из них – это разделительное суждение, что не является особенным, однако вторая посылка таких суждений состоит из двух или нескольких условных суждений.
Условно-разделительное суждение может быть или дилеммой, или трилеммой. Дилемма – это выбор одного из двух вариантов.
Трилемма состоит из двух посылок и следствия и предлагает выбор из трех вариантов или констатирует три факта.