По дисциплине "Матлогика" мне попалось следующее задание:
Составить метапредложения для приведенных ниже фрагментов текста и доказать их истинность методом таблиц истинности и используя принцип резолюции, реализация проверки истинности построенных клауз в ПРОЛОГ-системе:
15.Существуют две теории возникновения человека на земле - теория эволюции Дарвина и теория сотворения человека Господом Богом. Если справедлива теория эволюции, то самопроизвольное возникновение человека без соответствующих превращений живых организмов невозможно. Как доказали ученые, такие превращения действительно имели место. По теории же сотворения человек был слеплен из простой глины, а жизнь в него вдохнул Господь.Глины всегда было много, а на счет дыхания Бога тоже сомневаться не приходится, поскольку есть на то свидетельство Библии. Отсюда вывод - две названные теории друг другу не противоречат.
С комментариями...
Составить метапредложения для приведенных ниже фрагментов текста и доказать их истинность методом таблиц истинности и используя принцип резолюции, реализация проверки истинности построенных клауз в ПРОЛОГ-системе:
15.Существуют две теории возникновения человека на земле - теория эволюции Дарвина и теория сотворения человека Господом Богом. Если справедлива теория эволюции, то самопроизвольное возникновение человека без соответствующих превращений живых организмов невозможно. Как доказали ученые, такие превращения действительно имели место. По теории же сотворения человек был слеплен из простой глины, а жизнь в него вдохнул Господь.Глины всегда было много, а на счет дыхания Бога тоже сомневаться не приходится, поскольку есть на то свидетельство Библии. Отсюда вывод - две названные теории друг другу не противоречат.
С комментариями...
-
-
17.11.2006 в 20:48буду знать.
-
-
17.11.2006 в 22:41Что случилось с матлогикой раз такое начало считаться достоверным источником инфы?
-
-
18.11.2006 в 00:2110. Любой марксист - диалектик, но не всякий диалектик - марксист. Любой марксист - материалист, но не всякий материалист - марксист. Гегель был диалектик, но не материалист. Фейербах был материалист, но не диалектик. Итак, если бы Гегель и Фейербах могли объединиться в один кружок, то Маркс уже не понадобился бы.
А вот ещё одно заданьице:
4. Все живое способно чувствовать. Всякое материальное тело занимает определенный объем. Если нечто занимает пространственный объем и способно чувствовать, то это нечто есть ни что иное, как живой организм. Пусть существует нечто живое, но не являющееся организмом. Тогда следует вывод, что это нечто нематериально
Хотелось бы узнать: а это живое и нематериальное приходит только после особой креотравы?
-
-
18.11.2006 в 04:13Вот это и называется - "зашбись". Довод - потрясает.
Кстати, может, и глина должна была отуда-то взяться.)) Кто её разберёт?..)
-
-
18.11.2006 в 11:52