Атеисты и логика :)

[psilogic]

Тролль запостил в ру-антирелижн логическую задачку

Задачка содержала обидное утверждение, которое вообще-то требовалось отрицать, но без отрицания - обидное. В результате значительная часть атеистов вместо решения задачки начала срач с топикстартером :) Наброс засчитан, я считаю! :)

Для справки: цель - построить отрицание фразы: "Каждый атеист обладает одним и только одним из двух свойств: либо сношается с гусями, либо не владеет логикой". Обозначим:
ЕГ(a) = "a сношается с гусями"
ВЛ(a) = "a владеет логикой"
вся фраза значками:
X = ∀ a ЕГ(a) xor ~ВЛ(a)
Задание: построить формулу (или текст) для ~X

Правильные ответы:
~X (ответ ignis_b тривиальный, но вполне верный)
~∀ a ЕГ(a) xor ~ВЛ(a) (ответ mihtimak тоже тривиальный, и тоже вполне верный)
false <=> ∀ a ЕГ(a) xor ~ВЛ(a) (ответ twentysquirrels - чуть менее тривиальный и тоже верный)
∃ a (~ЕГ(a) and ВЛ(a)) or (~ВЛ(a) and ЕГ(a)) (тоже правильный и что топикстартер посчитал правильным)
∃ a (~ЕГ(a) and ВЛ(a)) xor (~ВЛ(a) and ЕГ(a)) (ответ dogma1599 - тоже правильный, xor и or в данном случае дадут одинаковй результат)
∃ a ЕГ(a) xor ВЛ(a) - тоже правильный, упрощенный по сравнению с вариантом выше
∃ a ЕГ(a) <=> ~ВЛ(a) (murky_lurker высказал правильную идею, хотя и не довел ее до ответа)

Comments

[alisarin.livejournal.com]

В моем понимании коммутативные преобразования явно дают из этого "или" двойное отрицание) Ну как знаешь...

[psilogic.livejournal.com]

Коммутативные преобразования - это простоперестановка операндов: a + b = b + a. Из + другая операция никак не получится, соответственно в результате коммутативных преобразований в исходной формуле не появятся операции, которых не было.

Не позорься, употребляя слова, смысла которых не понимаешь, ты лучше про диалектику давай :P

[alisarin.livejournal.com]

Ты мне... объясни, я же темный - почему это коммутативная операция - это только на арифметику, а?

У нас явно было 'a' запрещается не 'b' . Делаем перестановку (это не коммутативность?) - 'b' разрешает 'a' .

А ваще понял - одна часть противоречит другой: по условиям левой части его возможности ограничены объемом в одно свойство, а по условиям правой, если сношается, то уже владеет и логикой.

Ловушка на внимательность...

А Вы ... - не умеете объяснять темным))

[psilogic.livejournal.com]

Не только арифметика, арифметика - просто как пример. Коммутативная операция - это любая операция #, допускающая преобразование с перестановкой операндов:

A # B = B # A

При этом была # и осталась # - никакие новые операции в результате таких телодвижений появицца не могут :P

[http://users.livejournal.com/_winnie/]

Существует атеист, у которого разные предпочтения к гусям и к логике

¬(x xor ¬y) ≡ ¬(x ≠ ¬y) ≡ ¬(x = y) ≡ (x ≠ y)

[http://users.livejournal.com/_winnie/]

Но вообще батхерт понятен, так как это фраза в которой формально оскорбления нет, но оно есть, типа "ты нормальный или совсем дебил уже".

[psilogic.livejournal.com]

угу, последние два варианта ответа как раз используют подобные преобразования

[http://users.livejournal.com/_winnie/]

Мне кажется, что в человеческой записи это невозможно понять, так как неясно как ставить скобки. Вообще больше двух '=>' в обычной фразе невозможно вставить так, чтобы это было понятно человеку, просто из-за неоднозначности "какое 'то' относится к какому 'если'".

Я попробовал записать, и выражение (x=>y) записываю попеременно как "если x то y", "x доказывает y", "из x следует y".

(a => (b => c)) => ((a => b) => (a => c))
a="исследование криминалиста"
b="присутствие ДНК Петра на месте преступления"
с="виновоность Маши".

a,b,c - могут быть верными или неверными в любой комбинации, но тем не менее в любой комбинации остается верным утверждение (a => (b => c)) => ((a => b) => (a => c)).



Если иследование криминалиста доказывает, что

   из присутствия ДНК Петра на месте преступления следует виновность Маши,

то

   если иследование криминалиста доказывает присутствие ДНК Петра на месте преступления,

   то иследование криминалиста доказывает виновость Маши.

[psilogic.livejournal.com]

и не лень же вам было :)
браво! :)