IPB
ЛогинПароль:

> Компиляция правил для данного раздела

1. Заголовок темы должен быть информативным. В противном случае тема закрывается и удаляется ...
2. НЕ используйте форум для личного общения, все что не относится к обсуждению темы - на PM!
3. Одна тема - один вопрос (задача)
4. Спрашивайте и отвечайте четко и по существу!!!

 
 Ответить  Открыть новую тему 
> Дискретка. Метод резолюции.
сообщение
Сообщение #1


Гость






2) Методом резолюции доказать, что

{A-->B, C-->D, D-->B, B v C v D} |- B v C

кто поможет большое спасибо...
 К началу страницы 
+ Ответить 
сообщение
Сообщение #2


Michael_Rybak
*****

Группа: Пользователи
Сообщений: 1 046
Пол: Мужской
Реальное имя: Michael_Rybak

Репутация: -  32  +


{A-->B, C-->D, D-->B, B v C v D} |- B v C

добавляем отрицание результата

{A-->B, C-->D, D-->B, B v C v D, not (B v C)} |- 0

отбрасываем первые два конъюнкта

{D-->B, B v C v D, not (B v C)} |- 0

добавляем резольвенту первого и второго конъюнктов: (D->B) and (B or C or D) => B or C (доказать)

{D-->B, B v C v D, (B v C), not (B v C)} |- 0

оставляем резольвенту последних двух:

0 |- 0
 Оффлайн  Профиль  PM 
 К началу страницы 
+ Ответить 

 Ответить  Открыть новую тему 
1 чел. читают эту тему (гостей: 1, скрытых пользователей: 0)
Пользователей: 0

 





- Текстовая версия 29.03.2024 8:59
500Gb HDD, 6Gb RAM, 2 Cores, 7 EUR в месяц — такие хостинги правда бывают
Связь с администрацией: bu_gen в домене octagram.name