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

[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

[murky-lurker.livejournal.com]

Благодарю за отзыв

[bsivko.livejournal.com]

Автор даже сванговал отрицательно. Вера дала очередный сбой.

[haritonoff.livejournal.com]

Я ничего из этих формул не понял. Эти формулы и есть логика?

При этом я не сношаюсь с гусями, значит, утверждение верно :)

[dimmel.livejournal.com]

Прикольно

[krol-hydrops.livejournal.com]

Для отрицания достаточно вычеркнуть слово "не".

[bsivko.livejournal.com]

Было бы прикольно запрятать невыводимое утверждение (типа парадокса лжеца, например "всякий верующий не верит в б-га") под парой логических операций и запустить в релижн (;

[alisarin.livejournal.com]

А почему никто не прибегает к онтологии свойств? Сначала не разобрался, наконец дошло - "владение логикой" здесь изображено свойством, подкрепляющим (или обуславливающим) свойство "сношаться с гусями" ("если владеет логикой, то..."). Типа "интеллигентность мешает нормально материться". Но здесь объем опыта даваемый логикой может даже не ориентировать в зоологической тематике, в существовании гусей в частности. А если это частная связь, то такая связь возможна, но не обязательна.

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

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

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