((ac)) → b.
В первой посылке сложной конструктивной дилеммы из двух оснований вытекает два следствия, вторая посылка представляет собой дизъюнкцию оснований, а вывод является сложным суждением в виде дизъюнкции следствий. Например:
Если страной правит мудрый человек, то она процветает, а если ею управляет проходимец, то она бедствует.
Страной может управлять мудрый человек или проходимец.
Страна может процветать или бедствовать.
Форма модуса данной дилеммы:
(((a → b) ∧ (c → d)) ∧ (ac)) → (bd).
В первой посылке простой деструктивной дилеммы из одного основания вытекает два следствия, вторая посылка представляет собой дизъюнкцию отрицаний следствий, а в выводе отрицается основание (происходит отрицание простого суждения). Например:
Если поступать в МГУ, то надо много заниматься или же надо много денег.
Я не хочу много заниматься или же тратить много денег.
Я не буду поступать в МГУ.
Форма модуса данной дилеммы:
(((a → b) ∧ (a → c)) ∧ (¬ b ∨ ¬ c)) → ¬ a.
В первой посылке сложной деструктивной дилеммы из двух оснований вытекают два следствия, вторая посылка представляет собой дизъюнкцию отрицаний следствий, а вывод является сложным суждением в виде дизъюнкции отрицаний оснований. Например:
Если философ считает первоначалом мира материю, то он материалист, а если он считает первоначалом мира сознание, то он идеалист.
Этот философ не материалист или не идеалист.
Этот философ не считает первоначалом мира материю, или он не считает первоначалом мира сознание.
Форма модуса данной дилеммы:
(((a → b) ∧ (c → d)) ∧ (¬ b ¬ d)) → (¬ a ¬ c).
Поскольку первая посылка условно-разделительного силлогизма является импликацией, а вторая – дизъюнкцией, его правила – те же самые, что и рассмотренные выше правила условно-категорического и разделительно-категорического силлогизмов.
Проверьте себя:
1. Что такое условно-разделительный силлогизм?
2. На каком основании выделяются такие разновидности условно-разделительного силлогизма, как дилемма, трилемма и полилемма?
3. Чем отличается конструктивная дилемма от деструктивной?
В чём заключается разница между простой конструктивной дилеммой и сложной? Придумайте по одному примеру для простой и сложной конструктивной дилеммы и выразите их форму с помощью условных логических обозначений.
4. Чем отличается простая деструктивная дилемма от сложной?
Придумайте по одному примеру для простой и сложной деструктивной дилеммы и выразите их форму с помощью условных логических обозначений.
5. Каковы правила условно-разделительного силлогизма?