Спирина, М.С. Дискретная математика

5.4.4. Умозаключения из сложных суждений В зависимости от видов посылок в сложных суждениях из них можно получить различные умозаключения, причем в одних случа­ ях они дают достоверные заключения, а в других —вероятностные. Разделительные силлогизмы содержат хотя бы в одной из посы­ лок разделительное суждение, выраженное через строгую дизъ­ юнкцию, и дают достоверный вывод (рис. 5.9). Условные силлогизмы содержат условные суждения в посылках или заключении (операция следования): р -> q, где р — основа­ ние, q — следствие, и дают достоверный вывод (рис. 5.10). Кроме перечисленных, существуют и другие виды сложных силлогизмов. Для того чтобы проверить, правильно ли сделан вы ­ вод в дедуктивных умозаключениях, можно использовать матема­ тическую логику. Схема проверки включает в себя следующие этапы. 1. Проверка справедливости заключения в результате сравне­ ния его с соответствующим правилом. 2. Проверка справедливости заключения с помощью составле­ ния таблиц истинности на основании того, что между посылками и выводом дедуктивного умозаключения существуют отношения Р и с . 5 .9 . Р а з д е л и т е л ь н ы е с и л л о г и з м ы 251