Задание

Помогите пожалуйста хотя бы одним методом, а то именно с этим примером не получается ничего.

задан 17 Июн '13 22:25

Там по ссылке нет задания -- есть только сайт для скачивания файлов или что-то вроде того.

(17 Июн '13 22:31) falcao

Надо справа нажать скачать все

(17 Июн '13 22:36) SenjuHashirama

Мне кажется, если автор вопроса заинтересован в том, чтобы ему ответили, то имеет смысл поместить задание так, чтобы с ним можно было ознакомиться без лишних хлопот.

(17 Июн '13 22:44) falcao

Мне кажется, что у него просто недостаточно рейтинга чтобы выкладывать картинки, хотя нормальную ссылку он вполне мог бы сделать

(17 Июн '13 23:34) SenjuHashirama
10|600 символов нужно символов осталось
0

Для метода резолюций прежде всего необходимо привести всё к дизъюнктивному виду в левой части секвенции. Отрицание я буду обозначать символом $%\neg$%, т. к. я не нашёл в TEX символа, используемого вами.

$%A \lor C, \neg C \lor D,\neg A \lor \neg D,\neg B\lor\neg C,\neg A\lor B,A\lor B\vdash A \,\&\,B$%.

Теперь нам надо перенести конъюнкцию в левую часть. Мы пытаемся доказать, что если левая часть истинна, то правая тоже истинна. В левую часть переносится со знаком отрицания и работает закон де Моргана.

$%A \lor C, \neg C \lor D,\neg A \lor \neg D,\neg B\lor\neg C,\neg A\lor B,A\lor B,\neg A\lor \neg B\vdash 0$%.

Теперь мы можем применить метод резолюций, который заключается в том, что мы производим всевозможные склейки $%X\lor A,Y\lor \neg A\vdash X\lor Y$%.

В конце концов должно получиться конъюнктивное противоречие.

ссылка

отвечен 18 Июн '13 9:59

10|600 символов нужно символов осталось
Ваш ответ

Если вы не нашли ответ, задайте вопрос.

Здравствуйте

Математика - это совместно редактируемый форум вопросов и ответов для начинающих и опытных математиков, с особенным акцентом на компьютерные науки.

Присоединяйтесь!

отмечен:

×311
×128

задан
17 Июн '13 22:25

показан
1608 раз

обновлен
18 Июн '13 9:59

Отслеживать вопрос

по почте:

Зарегистрировавшись, вы сможете подписаться на любые обновления

по RSS:

Ответы

Ответы и Комментарии

Дизайн сайта/логотип © «Сеть Знаний». Контент распространяется под лицензией cc by-sa 3.0 с обязательным указанием авторства.
Рейтинг@Mail.ru