По дисциплине "Матлогика" мне попалось следующее задание:

Составить метапредложения для приведенных ниже фрагментов текста и доказать их истинность методом таблиц истинности и используя принцип резолюции, реализация проверки истинности построенных клауз в ПРОЛОГ-системе:

15.Существуют две теории возникновения человека на земле - теория эволюции Дарвина и теория сотворения человека Господом Богом. Если справедлива теория эволюции, то самопроизвольное возникновение человека без соответствующих превращений живых организмов невозможно. Как доказали ученые, такие превращения действительно имели место. По теории же сотворения человек был слеплен из простой глины, а жизнь в него вдохнул Господь.Глины всегда было много, а на счет дыхания Бога тоже сомневаться не приходится, поскольку есть на то свидетельство Библии. Отсюда вывод - две названные теории друг другу не противоречат.




С комментариями...