Лекции по дискретной математике. Математическая логика. Зарипова Э.Р - 62 стр.

UptoLike

ВУЗ: 

РУДН | Москва

Составители: 

Рубрика: 

62
}),,,(
,))(,(),(),)),((),(,()))((,()({
phtbS
ympEbJzxfmxfxSxfmzExJS ∨∨=
Применяем метод резолюций. Делаем подстановку {b/x} в
первом дизъюнкте, получаем контрарные литеры в 1-ом и во 2-ом
дизъюнкте. В результате получим
следующую резольвенту:
)(),)),((),(,()))((,()( bJzbfmbfbSbfmzEbJ ∨∨
_________________________________________________________________________________________________________________
))),((),(,()))((,( zbfmbfbSbfmzE ∨
Делаем подстановку {p/z,f(b)/y} в резольвенте и 3-м дизъюнкте.
В результате получаем:
)))((,(),)),((),(,()))((,( bfmpEpbfmbfbSbfmpE ∨
__________________________________________________________________________________________________________________________
))),((),(,( pbfmbfbS
Поскольку шутка Богдана (b) относится к Теодору (t) и его
теще Хелене (h=m(t)), то t=f(b) и h=m(f(b)). Получаем
pbfmbfbSpbfmbfbS )),((),(,(),)),((),(,(
______________________________________________________________________________________________________
П
В результате получен пустой дизъюнкт П. Следовательно,
вывод G верен.

Страницы