Зарипова, Э.Р. Дискретная математика Часть II. Математическая логика

72 { ( ) ( , ( ( ))) ( , ( ), ( ( )), ), ( ), ( , ( )), ( , , , )}. S J x E z m f x S x f x m f x z J b E p m y S b t h p    Применяем метод резолюций. Делаем подстановку {b/x} в первом дизъюнкте, получаем контрарные литеры в 1-ом и во 2-ом дизъюнкте. В результате получим следующую резольвенту: ), ( ) ( , ( ), ( ( )), ( ) ( , ( ( ))) J b E z m f b S b f b m f b z J b   _______________________________________________ ( , ( ), ( ( )), ) ( , ( ( ))) E z m f b S b f b m f b z  Делаем подстановку {p/z,f(b)/y} в резольвенте и 3-м дизъюнкте. В результате получаем: ), ( , ( ( ))) ( , ( ), ( ( )), ( , ( ( ))) E p m f b S b f b m f b p E p m f b  _______________________________________________ ( , ( ), ( ( )), ) S b f b m f b p Поскольку шутка Богдана (b) относится к Теодору (t) и его теще Хелене (h=m(t)) , то t=f(b) и h=m(f(b)) . Получаем S b f b m f b p S b f b m f b p ), ( , ( ), ( ( )), ( , ( ), ( ( )), _______________________________________________ П В результате получен пустой дизъюнкт П. Следовательно, вывод G верен.