close

Вход

Забыли?

вход по аккаунту

код для вставкиСкачать
Задание 1.
Если 9 марта будет тепло, то Джон поедет в Сан-Франциско или в Лас- Вегас.
Кейт поедет туда же, куда и Джон. Если Мери поедет в Лас-Вегас, то и Джон
поедет в Лас-Вегас. Если Мери не поедет в Лас-Вегас, то Джон поедет в СанФранциско. Если 8 марта будет холодно, то 9 марта будет тепло. Если 8
марта будет холодно, то Мери не поедет в Лас-Вегас. 8 марта будет холодно.
Вопрос: поедет ли Кейт в Сан-Франциско?
Решение:
1) 8 марта будет холодно.
x[8M(x) => ХОЛ(x)]
2) Если 8 марта будет холодно, то 9 марта будет тепло.
x(9M(x) => ТЕПЛ(x)]
3) Если 8 марта будет холодно, то Мери не поедет в Лас-Вегас.
x[Мери(x) => ~ЛВ(x)]
4) Если 9 марта будет тепло, то Джон поедет в Сан-Франциско или в ЛасВегас.  x[Дж(x)=>(СФ(x)/\ЛВ(x))]
5) Если Мери не поедет в Лас-Вегас, то Джон поедет в Сан-Франциско.
x[Дж(x)=>СФ(x)]
6) Кейт поедет туда же, куда и Джон.
x[K(x) => СФ(x)]
Ответ: Кейт поедет в Сан-Франциско.
Замечания: Дизъюнктов нет. Метод резолюции не использован.
1/--страниц
Пожаловаться на содержимое документа