Цитата: From_Odessa от сентября 12, 2015, 15:22Высказывания естественного языка на язык классического исчисления высказываний один в один не переводятся, поэтому не надо смешивать естественный язык и логическое исчисление. И вопросов не будет Базы знаний экспертных систем, которые предназначены для работы с естественным языком, состоят только из истинных фактов и правил вывода если ..., то ...; посылка - следствие. Эти посылки являются достаточными условиями.
Светлана
Я об этом уже выше написал) лично мне суть сказанного там вроде бы понятна, но есть моменты, которые вызывают у меня вопросы.
Цитата: From_Odessa от сентября 12, 2015, 15:16Эта философия хороша, но ничего общего с математической логикой не имеет.
Менш, видимо, имел в виду, что "выпить этилового спирта" необходимое условие (т.к. надо его обязательно начать пить, чтобы опьянеть), но не достаточное (можно выпить столько, что этого не хватит для опьянения), а "выпить 100 г этилового спирта" - достаточное, т.к. гарантирует опьянение. Я имею в виду, если ориентироваться на предложенный Меншом смысл.
Цитата: From_Odessa от сентября 12, 2015, 11:43Вы про математику или про бытовой язык? В логике строго, или то, или другое, нет такого "чуть-чуть необходимо".
Я так понимаю, что достаточное условие в своей формулировке должно содержать элементы необходимого.
Цитата: Wolliger Mensch от сентября 12, 2015, 14:57В вашем примере оба одного типа. Либо достаточные, либо необходимые, в зависимости от понимания слова "нужно".
Ну и? Где формулировка необходимого условия применительно к моему примеру? Опровергаете, так говорите чем.
Цитата: RawonaM от сентября 12, 2015, 10:23
ВТФ? Оба являются достаточными условиями.
Если из А следует Б, то А достаточное условие для Б.
Если из Б следует А, то А является необходимым условием для Б.
В общем,учебник логикивикипедия думается мне описывает это достаточно подробно, хотя я не читал и не знаю что там.
Страница создана за 0.086 сек. Запросов: 22.