Консультация № 176534
06.02.2010, 17:08
43.02 руб.
0 2 1
Задание №1

Для его выполнения необходимо в тексте выделить простые предложения, обозначив их как атомы и затем представить каждое утверждение в виде формулы. Далее доказать теорему, основанную на резолюции путем построения противоречия или опровержения.


Задача.

Если 9 марта будет тепло, то Джон поедет в Сан-франциско или в Лас-Вегас. Кейт поедет туда же, куда и Джон. Если Мери поедет в Лас-Вегас, то и Джон поедет в Лас-Вегас. Если Мери не поедет в Лас-Вегас, то Джон поедет в Сан-Франциско. Если 8 марта будет холодно, то 9 марта будет тепло. Если 8 марта будет холодно, то Мери не поедет в Лас-Вегас. 8 марта будет холодно.
Вопрос: поедет ли Кейт в Сан-Франциско?





Приложение:
https://rfpro.ru/upload/1539

Обсуждение

давно
Профессор
230118
3054
06.02.2010, 21:13
общий
это ответ
Здравствуйте, allxmiss.

A- 8 марта будет холодно.
B- Мери не поедет в Лас-Вегас.
С помощью modus ponens выводим, что Мери не поедет в Лас-Вегас
A, A->B [$8801$]B

Если Мери не поедет в Лас-Вегас, то Джон поедет в Сан-Франциско.
С помощью modus ponens выводим, что Джон поедет в Сан-Франциско
Кейт поедет туда же, куда и Джон. Обычная логика подсказывает, что Кейт поедет в Сан-Франциско. Докажем это методом противоречия.

D – Джон поедет в Лас-Вегас
E - Кейт поедет в Сан-Франциско
F - Кейт поедет поедет в Лас-Вегас

1. C - Джон поедет в Сан-Франциско.
Кейт поедет туда же, куда и Джон. Как это можно записать в виде конъюнктивных утверждений?
Если Джон поедет в Сан-Франциско, Кейт поедет в Сан-Фрациско
Если Джон поедет в Лас-Вегас, Кейт поедет в Лас-Вегас
C[$8594$]E, D[$8594$]F
Воспользуемся преобразованиями
2 ~C [$8744$] E
3 ~D [$8744$] F
Отрицание теоремы, которую надо доказать –
4. ~E
Из 2 и 4 выводится
~C
Из доказанного и 1 выводится nil
давно
Профессор
230118
3054
07.02.2010, 12:23
общий
allxmiss:
Когда я пишу из 2 и 4 выводится 5, значит отрезки из 2 и 4 соединяются в точке 5.
Форма ответа