Умозаключения с союзом или

Обе посылки и вывод простого, или категорическом силлогизма являются простыми суждениями (А, I, Е, О). Если же

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

Например:

• Учебное заведение может быть начальным или средним, или высшим.
• МГУ является высшим учебным заведением.
• МГУ – это не начальное и не среднее учебное заведение.

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

Например:

• Леса бывают хвойными или лиственными, или смешанными.
• Этот лес хвойный.
• Этот лес не лиственный и не смешанный.

С помощью условных обозначений логических союзов можно представить форму данного силлогизма в виде следующей записи: ((аvвvс) а)?(¬в ¬с), где (аvвvс) – это первая посылка в виде строгой дизъюнкции трех простых суждений; а – это вторая посылка в виде утверждения одного из них; ((аvвvс) а) – это две посылки силлогизма, соединенные знаком конъюнкции; (¬в ¬с) – это вывод силлогизма в виде конъюнкции отрицаний двух оставшихся простых суждений, входивших в первую посылку; знак импликации (?) показывает, что из посылок следует вывод.
В отрицающе-утверждающем модусе, который также называют модусом толлендо поненс (лат. modus tollendo ponens) первая посылка представляет собой строгую дизъюнкцию не- скольких вариантов чего-либо, во второй посылке отрицаются все данные варианты, кроме одного, а в выводе утверждается этот один оставшийся вариант (таким образом, рассуждение движется от отрицания к утверждению).

Например:

• Люди бывают европеоидами, или монголоидами, или негроидами.
• Этот человек не монголоид и не негроид.
• Этот человек является европеоидом.

С помощью условных обозначений логических союзов можно представить форму данного силлогизма в виде следующей записи: ((аvвvс) (¬в ¬с))?а, где (аvвvс) – это первая посылка в виде строгой дизъюнкции трех простых суждений; (¬в ¬с) – это вторая посылка в виде конъюнкции отрицаний двух из них; (аvвvс) (¬в ¬с) – это две посылки силлогизма, соединенные знаком конъюнкции; а – это вывод силлогизма в виде утверждения третьего простого суждения, входившего в первую посылку; и наконец, импликацией (?) объединяются посылки и вывод силлогизма.