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