5_Исчисление высказываний (1019122), страница 2
Текст из файла (страница 2)
Примерами рассуждений, не являющихся правильными, могут служить:
а) 
б) 
в) 
и др.
Для того чтобы проверить, является ли данное умозаключение логически правильным, следует восстановить схему рассуждения и определить, относится ли она к схемам логически правильных рассуждений. Однако такая проверка осложняется тем, что схем логически правильных рассуждений бесконечное множество. Для проверки правильности рассуждений может быть использован метод доказательства от противного (закон противоречия – правило 6).
5.4 Метод резолюций в исчислении высказываний.
Метод резолюции является одним из методов доказательства от противного. Метод, предложенный Дж. Робинсоном, в настоящее время является теоретической базой большинства методов доказательства. Хотя общепринятые правила вывода, например, правило modus ponens, позволяют человеку проследить за каждым шагом процедуры доказательства, существует более сильное правило резолюций, которое трудно поддается восприятию, но эффективно реализуется на компьютере.
В настоящее время не существует эффективных критериев проверки выполнимости КНФ. Метод резолюций позволяет выявить невыполнимость множества дизъюнктов.
Далее вставка 5С.
5.5 Вопросы для самопроверки.
1) Назовите основные понятия исчисления высказываний.
2) В чем заключается принцип дедукции?
3) Назовите основные схемы логически правильных рассуждений?
4) В чем заключается метод резолюции в логике высказываний ?
5) Выразить операции и через операции →.
6) Придумать содержательное описание формулы:
(А→В) ↔ (А→С)
7) Построить тавтологию и противоречие с использованием трех элементарных высказываний А,В,С.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
