Парадоксы импликации - классическая наколка

[psilogic]

Ыть... недавно снова столкнулся с челом, который рисовал таблицу истинности для "если ... то...". Классика, конечно, но так много народу (даже неглупого) на этом деле попадается...



Есть такая логическая операция "=>". Называется "материальная импликация". Таблица истинности для нее:

A B A=>B
f f t
f t t
t f f
t t t

f - это false (ложь), t - true (истина).

К сожалению, часто формулу A=>B переводят на естественный язык как "если A, то B". Ну... проверьте сами:

Если Буш - президет Америки, то Путин - президент РФ
- по таблице: t=>t = t, по жизни: f (одно с другим не связано)
Если Жириновский негр, то он дебил
- по таблице: f=>f = t, по жизни: f (быть негром еще не значит быть дебилом)
Если Гонца негр, то он дебил
- по таблице: f=>t = t, по жизни: f (Гонца - один псих с "мембраны")

Кстати, правильный перевод для A=>B: "Неправда, что A, или правда, что B"

Comments

[snus-mumrick.livejournal.com]

Как известно -- "Из лжи следует все что угодно".

[firtree.livejournal.com]

Интересней другое, что "истина следует из чего угодно".

[snus-mumrick.livejournal.com]

Слава богу, в математической логике кроме правил вывода есть и аксиомы. Это дает хоть какую-то дополнительную информацию.

[psilogic.livejournal.com]

Про это тоже надо будет как-нибудь написать: про разницу между =>, |- и если...то... - но это уже для совсем продвинутых :)

[snus-mumrick.livejournal.com]

Таааак, уточним. Для "продвинутых" или "двинутых" :):)?

[psilogic.livejournal.com]

Для продвинутых... двинутые не поймут :)
Т.е. гумикам я бы это объяснять не взялся :)

[firtree.livejournal.com]

Причём "или" неисключающее, что по-русски звучит как "M или N или и то, и другое".

[psilogic.livejournal.com]

угумс, или включающее, которое и/или