• Авторизация


Ничего личного 31-01-2007 02:08 к комментариям - к полной версии - понравилось!


Из книги по мат.логике:

"Например, конъюнкция (т. е. соединение логическим союзом И) предикатов "x твердый" и "x красный" образует предикат "x твердый и x красный", или, более лаконично, "x твердый и красный"; импликацию "x твердый" => "x красный" можно представить выражением "если x твердый, то он красный"."
вверх^ к полной версии понравилось! в evernote
Комментарии (3):
Гуглик 01-02-2007-01:28 удалить
Куда я попал?! Мне обещали легкий треп, а здесь что? Одна исчисляет (обсуждает) высказывания, другой - предикаты. Там спорят о терминах, здесь о термах начинают. В одном месте - транслитом напишут в другом - кванторами. И везде обрывают на самом интересном. Куда бедному крестьянину податься?
fair_foe 01-02-2007-01:54 удалить
охуж эти экстазующие крестьяне...
чё, предикаты не понравились? тогда смотри последний пост :)))
а запощу-ка я старый добрый боян ;)
Lasana 14-04-2009-15:29 удалить
Вот думаю теперь, автор с юмором был или, наоборот, слишком серьезен:-))


Комментарии (3): вверх^

Вы сейчас не можете прокомментировать это сообщение.

Дневник Ничего личного | fair_foe - Дневник fair_foe | Лента друзей fair_foe / Полная версия Добавить в друзья Страницы: раньше»