26. 10. 2008 21:44nové
Analytické myšlení a úsudky
změněno 2. 5. 2015 17:56 nové
TSP 2013, pap. verze, var. 04, př. č. 46 - Marťani-paradox lháře

Zadání zní:
Marťanští muži v létě mluví pravdu, po zbytek roku lžou. Marťanské ženy
mluví pravdu ve středu, ostatní dny v týdnu lžou. Dva obyvatelé Marsu Týno
a Suno ve stejný den řekli:
Týno: Oba dnes lžeme.
Suno: Týno je žena.
správně e) Není středa

Nechápu, jak může být v zadání věta, která nedává smysl. "Oba lžeme." Jedná se
samozřejmě o paradox. Jak může věta sama o sobě tvrdit, že je nepravdivá? Viz
např. http://cs.wikipedia.org/wiki/Paradox_lháře

Zkoušel jsem si větu "rozložit" na dvě. "Já lžu" a "Ona lže". Pak bychom věděli,
že Týno je muž. Ale taková možnost ve výběru ani není. Jak zjistím správnou
odpověď? A vážně není chyba používat takovou větu v TSP?
Jaroslav Zejda
3. 5. 2015 14:23nové
TSP 2013, pap. verze, var. 04, př. č. 46 - Marťani-paradox l

Řekl bych, že úloha je v pořádku, ale je dosti komplikovaná.
Musíš si představit situace, které mohou nastat (jsou 4) a posoudit, zda jsou
možné:.
1) Oba mluví pravdu
2) Týno mluví pravdu a Suno lže
3) Suno mluví pravdu a Týno lže
4) Oba lžou

1) Výrok Týna "Oba dnes lžeme" pronesen být nemůže, protože předpokládáme, že
oba mluví pravdu a tohle by pravda nebyla. Tato situace nastat nemůže.

2) Tato situace také nastat nemůže. Někdo, kdo mluví pravdu, nemůže zároveň
říct, že lže.

3) Předpokládáme, že výrok Suna je pravdivý, tudíž Týno je žena - navíc podle
našeho předpokladu lže - z toho vyvodíme, že v den, kdy žena lže, určitě není
středa. Suno tedy musí být muž (kdyby byl žena a mluvil pravdu, tak je středa,
ale ta není). Čili Suno je muž a mluví pravdu --> je léto.

4) Oba lžou - pak by podle Sunova výroku by byl Týno naopak muž. A my navíc
předpokládáme, že oba lžou. Když muž lže, tak podle zadání určitě není léto. A
dále předpokládáme, že Týno také lže, ale zároveň opravdu říká, že oba lžou
(tedy vlastně mluví pravdu), což nelze (nepředpokládáme to v téhle situaci). Má
totiž lhát. Tuto možnost bych tedy také vyřadil.

Z těchto čtyř možností nám zbyla možnosti 3.

Podle nabídky odpovědí zkusíme některé vyřadit a dobrat se ke správné odpovědi,
přičemž přihlížíme k situaci 3:

a) Podle možnosti 3, která nám vychází jako jediná možná situace, je Suno naopak
muž. /NE/

b) Jestliže je léto, pak je středa. - Implikace - Z pravdivého předpokladu (léto
je) vyplývá lež (protože středa není). Tudíž toto není možné a implikace
pravdivá není. /NE/

c) Nám ale vyšlo, že léto naopak je. /NE/

d) Jsou různého pohlaví - Týno je žena a Suno je muž. /NE/

e) Ano, opravdu nám vyšlo, že není středa. Tudíž toto je správná odpověď. (ANO)

Sám si nejsem úplně jist, zda to mám dobře odůvodněné, nicméně správná odpověď
nám vyšla :-D
6. 5. 2015 11:41nové
Tak například podle tohoto textu úloha paradoxem není, ale vychází mi, že středa
na Marsu je. :D
http://num.kma.zcu.cz/galerie/MAB-prace/Galerie%20MAB%202009/Jsou%20vsichni%20Kretane%20lhari%20%28Simkova%29.pdf