При чем здесь частности? Берем ваше высказывание "люди без виндовза -> сумасшедшие", применяем к нему логическую инверсию (если из А следует Б, то из отрицания Б следует отрицание А), получаем другое высказывание. Если ваше исходное верно, то верен и результат инверсии. Результат инверсии "несумасшедший -> имеет виндовз".
Я пишу для личного удовольствия. Указывать на азбучные заблуждения, описываемые в курсе формальной логике, людям, которые берутся давать советы космического масштаба, я лично никакого удовольствия не вижу:-)
Я разговариваю с человеком, который видимо проспал курс формальной логики в 1ом семестре, а мудрости потом добирался на дискретной математике. Но поезд уже ушел:-)
no subject
Date: 2012-01-28 10:48 am (UTC)no subject
Date: 2012-01-28 11:01 am (UTC)Берем ваше высказывание "люди без виндовза -> сумасшедшие", применяем к нему логическую инверсию (если из А следует Б, то из отрицания Б следует отрицание А), получаем другое высказывание. Если ваше исходное верно, то верен и результат инверсии. Результат инверсии "несумасшедший -> имеет виндовз".
no subject
Date: 2012-01-28 11:06 am (UTC)no subject
Date: 2012-01-28 11:11 am (UTC)no subject
Date: 2012-01-28 11:15 am (UTC)Скажите, как я могу это опровергнуть. А главное, зачем?
no subject
Date: 2012-01-28 12:46 pm (UTC)no subject
Date: 2012-01-28 12:52 pm (UTC)no subject
Date: 2012-01-28 01:51 pm (UTC)no subject
Date: 2012-01-28 01:58 pm (UTC)no subject
Date: 2012-01-28 02:05 pm (UTC)no subject
Date: 2012-01-28 01:01 pm (UTC)http://metaclass.livejournal.com/658110.html?thread=10993854#t10993854
no subject
Date: 2012-01-28 01:18 pm (UTC)no subject
Date: 2012-01-28 11:11 am (UTC)"если из А следует Б, то из отрицания Б следует отрицание А"?
no subject
Date: 2012-01-28 11:14 am (UTC)no subject
Date: 2012-01-28 11:16 am (UTC)no subject
Date: 2012-01-28 11:20 am (UTC)no subject
Date: 2012-01-28 11:34 am (UTC)no subject
Date: 2012-01-28 11:38 am (UTC)(no subject)
From:(no subject)
From:(no subject)
From:(no subject)
From:no subject
Date: 2012-01-29 10:19 am (UTC)no subject
Date: 2012-01-29 10:46 am (UTC)да.
Из того, что он логику знает, вовсе не следует то, что он не иплан.
следует, если знание логики достаточный критерий не-ибланизма, а незнание необходимый ибланизма.
no subject
Date: 2012-01-28 12:17 pm (UTC)где ж вы его видите?
no subject
Date: 2012-01-28 12:58 pm (UTC)Из нее сразу видно, что для a=b=true верно a=>b, но не верно !b => !a, т.е. ваша формула неверна. В небулевой логике это еще очевиднее.
no subject
Date: 2012-01-28 01:07 pm (UTC)Операция "=>" у вас почему-то дает то две то три единички из 4 вариантов.
no subject
Date: 2012-01-28 01:15 pm (UTC)no subject
Date: 2012-01-29 10:28 am (UTC)Там даже таблички не надо!