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

[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]

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

[paket-s-buhlom.livejournal.com]

Это ирония была.

[bsivko.livejournal.com]

Понимаю. Это было отрицание штиля (;

[paket-s-buhlom.livejournal.com]

И во что я верю, можно поинтересоваться?

[bsivko.livejournal.com]

Поинтересоваться можно.

[psilogic.livejournal.com]

про штиль в коментах? :)

[bsivko.livejournal.com]

Да.

[haritonoff.livejournal.com]

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

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

[c-a-s-u-s.livejournal.com]

https://ru.wikipedia.org/wiki/%D0%9A%D0%B2%D0%B0%D0%BD%D1%82%D0%BE%D1%80_%D0%B2%D1%81%D0%B5%D0%BE%D0%B1%D1%89%D0%BD%D0%BE%D1%81%D1%82%D0%B8
https://ru.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D1%87%D0%B5%D1%81%D0%BA%D0%B0%D1%8F_%D0%BE%D0%BF%D0%B5%D1%80%D0%B0%D1%86%D0%B8%D1%8F

[haritonoff.livejournal.com]

[psilogic.livejournal.com]

это символическая записть текста, которая используется математиками, чтобы не запутаццо в километровых сложносочиненных фразах :)

[haritonoff.livejournal.com]

Нас на юридическом учили оперировать именно сложносочиненными фразами.

[c-a-s-u-s.livejournal.com]

за это вас юристов и не любят, много текста.
значками - мало текста.

[dimmel.livejournal.com]

Прикольно

[krol-hydrops.livejournal.com]

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

[psilogic.livejournal.com]

ишо квантор поменять

[bsivko.livejournal.com]

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

[psilogic.livejournal.com]

Собственно, ответ ignis-а: "Данное суждение неверно" превращается в парадокс лжеца, если под "данным суждением" понимать его же суждение :)

[alisarin.livejournal.com]

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

[psilogic.livejournal.com]

[ почему никто не прибегает к онтологии свойств? ]

ЕГ(a) и ВЛ(a) - это и есть свойства (a)

[ ...здесь изображено свойством, подкрепляющим (или обуславливающим) свойство... ]

Нет. Условия кодируются импликациями => или конструкциями если... то... - здесь ничего такого нет.

[alisarin.livejournal.com]

если... то... - это и есть подкрепляющее свойство: если имеют место условия, то неизбежны последствия.

== либо сношается с гусями, либо не владеет логикой".

- очевидное двойное отрицание - "одно не владение логикой не дает ему сношаться с гусями". Снимаем двойное отрицание и...

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

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

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

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

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

[psilogic.livejournal.com]

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