20:36

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

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

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




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

Комментарии
17.11.2006 в 20:48

Да,я и не предполагал,что кислое и длинное-одно и тоже.

буду знать.
17.11.2006 в 22:41

Psh.
поскольку есть на то свидетельство Библии.



Что случилось с матлогикой раз такое начало считаться достоверным источником инфы?
18.11.2006 в 00:21

Это задание в данном учебнике оказалось не единственным "достойным" внимания. Вот ещё и Маркс автору чем-то не угодил:

10. Любой марксист - диалектик, но не всякий диалектик - марксист. Любой марксист - материалист, но не всякий материалист - марксист. Гегель был диалектик, но не материалист. Фейербах был материалист, но не диалектик. Итак, если бы Гегель и Фейербах могли объединиться в один кружок, то Маркс уже не понадобился бы.



А вот ещё одно заданьице:

4. Все живое способно чувствовать. Всякое материальное тело занимает определенный объем. Если нечто занимает пространственный объем и способно чувствовать, то это нечто есть ни что иное, как живой организм. Пусть существует нечто живое, но не являющееся организмом. Тогда следует вывод, что это нечто нематериально

Хотелось бы узнать: а это живое и нематериальное приходит только после особой креотравы?
18.11.2006 в 04:13

Босс, Сулик опять на меня смотрит
Глины всегда было много, а на счет дыхания Бога тоже сомневаться не приходится, поскольку есть на то свидетельство Библии.

Вот это и называется - "зашбись". Довод - потрясает.

Кстати, может, и глина должна была отуда-то взяться.)) Кто её разберёт?..)
18.11.2006 в 11:52

Успеха добивается не самый талантливый и тем более не самый достойный, а самый упорный. Потому что ему больше всех надо.© Народная мудрость
Крутая вещица, и доказательства крутые (прям таки железобетонные)