Закон вывода отрицаний - второй закон логического вывода:
А ® В, не В - Если из А следует В, но следствие В ложно,
не А то не выполняется посылка А.
Примеры логического вывода из отрицаний.
1. «Если идет дождь, то на улице мокро».
«На улице сухо».
Следовательно, «На улице не было дождя».
2. «Если кому-то весело, то он улыбается».
«Вова не улыбается».
Следовательно, «Вове не весело».
В предикатной форме закон вывода отрицаний превращается в конструктивную процедуру вывода отрицаний:
А(х) ® В(х), не В(с)
- Если из А(х) следует
В(х), но В не выполнено
не А(с) для х = с, то не выполняется и А(с).
Данная процедура из конкретного отрицания следствия не В(с) и общего правила А(х) ®
В(х) выводит конкретное отрицание не А(с)
предпосылки при х = с. Эта процедура используется в системе Пролог как основной механизм поиска ответов на сложные вопросы, в которых участвуют определяемые предикаты.
В качестве иллюстраций дополним рассмотренную базу знаний о семье набором правил на языке Пролог, выражающих понятие «родитель»:
родитель (х, у) ¬ мама (х, у); - Мама - родитель
родитель (х, у) ¬ папа (х, у); - Папа – родитель
После ввода этих правил в ЭВМ система Пролог на вопросы о родителях выдаст такие ответы при указанной выше базе данных:
? родитель (Надя, х) - Кому родитель Надя ?
х = Оля
х = Сережа
Вывод ответов на эти вопросы система Пролог проводит следующим образом. Во-первых, вопрос ? родитель (Надя, х) будет заменен на отрицание не родитель (Надя,
х). Далее это отрицание будет сопоставлено с правилом вывода родитель (х, у) ¬ мама (х, у), а затем с правилом родитель (х, у) ¬ папа (х, у).