9.5. Условно-разделительные умозаключения

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

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

К ним относятся дилеммы, трилеммы, тетралеммы и т. д. Рассмотрим наиболее распространенную разновидность — дилемму. Дилеммы могут быть простыми и сложными, конструктивными и деструктивными.

В конструктивных дилеммах рассуждение ведется от утверждения истинности оснований к истинности выводимых из них следствий, а в деструктивных — от отрицания истинности следствий к отрицанию истинности их оснований.

Пример: Если человек получает наследство от богатых родственников, то он может позволить купить себе автомобиль или квартиру. Преподаватель физики М. не может купить себе ни автомобиль, ни квартиру. Следовательно, М. не получал наследства от богатых родственников.

В данном случае рассуждение ведется от отрицания двух следствий к отрицанию их основания, т. е. по схеме простой деструктивной дилеммы.

Вывод правильный.