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

[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

[firtree.livejournal.com]

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

[psilogic.livejournal.com]

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