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

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

S есть А или В, или С. А есть А1 или А2. S есть А1 или А2, или В, или С.

Примером такого умозаключения является следующее. Путь бывает прямым или окружным. Окружный путь бывает с одной пересадкой или с несколькими пересадками. Путь бывает прямым или с одной пересадкой, или с несколькими пересадками.

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

S есть А или В. S есть А (В). S не есть В (А). Например: Выстрел бывает точным и неточным. Этот выстрел является точным. Этот выстрел не является неточным.