Skoro nikt na świecie nie chce i nie zamierza odnieść się w sposób poważny do moich prób rozwiązania najtrudniejszej zagadki swiata, to będę dotąd finiszował, aż padnę. Zanim to nastąpi proszę o odpowiedź na pytanie: gdzie jest moja meta?
Ponizej najnowsza moja proba.
NAJTRUDNIEJSZA ZAGADKA ŚWIATA.
Trzy boginie: Prawda (P), Kłamstwo (K) i Los (L) odpowiadają na pytania w swoim języku. Mówią tylko DA i JA, które odpowiadają słowom TAK i NIE, jednak nie wiemy, które któremu. Prawda zawsze mówi prawdę, Kłamstwo zawsze kłamie, a Los czasem mówi prawdę, czasem kłamie. Musimy za pomocą trzech pytań określić, która z bogiń to która. Każde pytanie może być skierowane tylko do jednej bogini. Autorem tej zagadki jest Raymond Smullyan, a jej utrudnienie (nieznajomość znaczenia słów DA i JA) podał John McCarthy. <cite>GOOGLE</cite>
ROZWIĄZANIE.
Z powyższego wynika, że: boginie znają każdy język świata, ale na pytania odpowiadają w swoim wspólnym języku i mówią tylko
(DA=TAK ∧ JA=NIE) ⊻ (DA=NIE ∧ JA=TAK);
każda bogini jest pytana dokładnie jeden raz; każda odpowiedź musi być absolutnie zgodna z naturą bogini -- zawsze prawda, zawsze kłamstwo, zawsze los, co oznacza możliwość wymuszenia treścią pytania pozostawienia go bez odpowiedzi przez tą boginię, której to pytanie zadamy i nie będzie to sprzeczne z milczeniem, które jako zbiór pusty słów zawiera się w każdym z języków świata, jako zbiorze wielu słów; pytanie nie może być skierowane jednocześnie do dwóch lub do trzech bogiń; boginie losują jedną z nazw technicznych A, B, C, którym są przyporządkowane wzajemnie jednoznacznie stanowiska, a mianowicie A↔(1), B↔(2), C↔(3) -- tak, że boginie są parami nawzajem poinformowane o zajętych przez siebie miejscach.
Jeżeli pytanie
eqn1 CZY ODPOWIEDZI OD POZOSTAŁYCH BOGIŃ SĄ LUB BĘDĄ SPRZECZNE?
trafi się P i K, to odpowiedzi nie otrzymamy, gdyż: P nie będzie pewna swojej prawdy z uwagi na nieznajomość wartości logicznej zdania będącego koniunkcją odpowiedzi udzielonych przez K i przez L, natomiast K nie będzie pewna swojego kłamstwa z uwagi na nieznajomość wartości logicznej zdania będącego koniunkcją odpowiedzi udzielonych przez P i przez L.
Jeżeli pytanie
eqn2 CZY DA=TAK?
nie trafi się L, to
[DA=NIE ⇒ (P:brak odpowiedzi ∧ K:JA=TAK)] ∨
[DA=TAK ⇒ (P:DA ∧ K:JA=NIE)].
Powyżej mamy: jeżeli DA=NIE, to na pytanie eqn2 P nie odpowiada, gdyż przy założeniu DA=NIE nie może odpowiedzieć JA=NIE; jeżeli DA=NIE, to na pytanie eqn2 K odpowiada JA=TAK, czyli potwierdza zawarte w pytaniu kłamstwo, że DA=TAK; przypadek drugi jest oczywisty.
Zgodnie z powyższymi ustaleniami boginie przystępują do logicznej zabawy, która obejmie jeden z trzech poniższych przypadków.
1⁰. Do bogini A kierujemy pytanie eqn1. Jeżeli A odpowie DA albo JA, to A=L. Wtedy korzystamy z pytania eqn2, które kolejno kierujemy do bogiń B i C. Jeżeli B pozostawi pytanie eqn2 bez odpowiedzi i C odpowie JA, to B=P i C=K. Jeżeli B odpowie JA i C pozostawi pytanie eqn2 bez odpowiedzi, to B=K i C=P. W obu tych przypadkach DA=NIE i JA=TAK. Jeżeli B odpowie DA i C odpowie JA, to B= P i C= K. Jeżeli B odpowie JA i C odpowie DA, to B=K i C=P. W obu tych przypadkach DA=TAK i JA=NIE. Po trzech pytaniach określiliśmy, która z bogiń to która. c.n.o.
2⁰. Do bogini A kierujemy pytanie eqn1. Jeżeli A pozostawi pytanie <ref>eqn1</ref> bez odpowiedzi, to pytanie eqn1 kierujemy do B. Jeżeli B odpowie DA albo JA, to B=L. Wtedy korzystamy z pytania eqn2, które kierujemy do C. Jeżeli C pozostawi pytanie eqn2 bez odpowiedzi, to A=K i C=P. Jeżeli C odpowie DA, to C=P i A=K. Jeżeli C odpowie JA, to C=K i A=P. Po trzech pytaniach określiliśmy, która z bogiń to która. c.n.o.
3⁰. Jeżeli boginie A i B pozostawią pytanie <ref>eqn1</ref> bez odpowiedzi, to C=L i do L kierujemy pytanie:
JEŻELI DA=TAK, TO CZY NA PYTANIE DA=TAK?
BOGINI Z A MUSIAŁA ODPOWIEDZIEĆ JA=NIE?
Jeżeli A=P i B=K, to L pozostawi to pytanie bez odpowiedzi, gdyż odpowiedzi L:DA=TAK≡1 -- nie może być kłamstwem albo JA=NIE≡0 nie może być prawdą. Jeżeli L odpowie DA=TAK albo JA=NIE, to A=K i B=P. I tym razem po trzech pytaniach określiliśmy, która z bogiń to która. c.n.o.
GOOGLE : GOOGLE
Komentarze
Pokaż komentarze