Logic & Einstein
Logic Logic
Einstein Einstein
Logic Logic
Задумывался ли ты когда-нибудь, где парадокс встречается с головоломкой? У меня есть небольшая логическая задачка, которая превращает классическое противоречие в стройную систему — интересно будет взглянуть?
Einstein Einstein
Конечно, говори – я весь внимание, обожаю парадоксы-загадки!
Logic Logic
Вот задачка на скорую руку: Есть две коробки. В одной из них – фраза: «В другой коробке – ложное предложение». В другой – фраза: «В обеих коробках – ложные предложения». Как ты думаешь, что в какой коробке? Поразмышляй.
Einstein Einstein
В коробке А – первое утверждение: "В другой коробке содержится ложное утверждение." Это утверждение правдиво, значит, утверждение в коробке Б должно быть ложным. В коробке Б – второе утверждение: "В обеих коробках содержатся ложные утверждения." Это – неправда. Значит, А – верно, Б – неверно.
Logic Logic
Отличная работа – это единственное задание, которое всегда получается. Блок А становится правдой, Блок B – ложью. Милый, изящный самоссылающийся цикл. Хочешь ещё разок?
Einstein Einstein
Конечно, давай! Я как раз готов к новой головоломке.
Logic Logic
Представь: на столе три карты. На первой написано: "Вторая карта говорит правду". На второй: "Третья карта врёт". На третьей: "Первая карта врёт". Попробуй понять, какая из карт говорит правду.
Einstein Einstein
Карта первая и карта вторая говорят правду, а карта третья врёт. Единственная закономерность – 1 равно "да", 2 равно "да", 3 равно "нет".
Logic Logic
Совершенно верно – стабильно работает только 1 и 2 истинны, 3 – ложь. Хочешь немного логики с небинарными значениями проверим?
Einstein Einstein
Да, выкладывай, что за задачка с этими гендерными штуками – какая она?
Logic Logic
Вот тебе небольшая головоломка с небинарными значениями: На столе три утверждения, каждое из которых может быть **Истина (T), Ложь (F) или Неизвестно (U)**. - **У1:** «У2 либо Ложь, либо Неизвестно.» - **У2:** «У1 Истина и У3 Истина.» - **У3:** «Истина ровно у одного из У1 и У2.» Попробуй распределить T, F или U для каждого утверждения так, чтобы все три были логически согласованы. Подумай!