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