Professional Documents
Culture Documents
Vnovno
Lind
Podkovn
L
Logick
kato
14
16
2. Hdanky a chytky
A. Nkolik starch znmch
Zaneme starmi osvdenmi hdankami, kter u pobavily mnoho generac. Nkter z nich jist budete znt,
ale i u tch znmch jsem si na vs pipravil pr novch
peku.
4. Kdo je na obrzku?
Tahle hdanka byla za mho dtstv ohromn populrn,
dneska, jak se zd, u tak znm nen. Zajmav je, e
vtina lid na ni d odpov patnou, ale trvaj na tom, e
je sprvn, a nedaj si to vyvrtit. Pamatuji se, jak jsme
jednou asi ped padesti lety mli doma njakou nvtvu
a debatovali jsme o thle hdance. Peli jsme se cel hodiny, a ti, kdo znali sprvnou odpov, nedokzali pesvd-
it ostatn, e maj pravdu. O co jde: Dvm se na si
podobiznu. Zajmalo by vs, kdo je na n zobrazen? Prozradm vm, e nemm sourozence a e otec toho mue na
obrzku je syn mho otce. Kdo je na obrzku?
5. Jet jeden obrzek.
Te vm prozradm, e nemm sourozence a e syn
toho pna na obrzku je syn mho otce. Kdo je tentokrt
na obrzku?
6. Veprobjeie stela kontra neprstelnpanc.
Tak hdanka z dtstv, kterou mm ve zvltn oblib.
Yeprobjejici stelou rozumme stelu, kter vechno prostel a nic j neodol, Neprstelnm pancem rozumme
panc, kter dn stela nedoke prostelit a vemu
odol. Nue, jak to dopadne, kdy veprobjejc stela zashne neprsteln panc?
<
7. Ponoky v zsuvce.
Dal hdanka je velice jednoduch a kdekdo ji asi zn
17
stejn
vlas.
B. Chytky
16. Pbuzensk satek.
Jak znmo, blzc pbuzn nesmji spolu uzavirat manelstv, Smi se mu oenit se sestrou sv vdovy?
17. Zhada s vtahem.
Pan Dlouh bydli v ptadvactm poschodi. Kad den,
vyjma sobot a nedli, sjede rno vtahem do pzem a jde
do prce. Veer, kdy se vrac, vyjede do tyiadvactho
poschodi a to jedno patro vyjde vdycky pky. Pro vy- .
stupuje ve tyiadvactm poschod i a ne v ptadvactm?
18. Pravopisn test.
Kter verze pedpisu na
snhov
krm je napsna
sprvn?
v vy lehej a do ztuhnuti.
(2) 200 g prkovho cukru, 2 loudky a trochu citrnov vy lehej a do ztuhnuti.
19. Pohybov loha,
Z Bostonu do New Yorku vyjede vlak. O hodinu
20
pozd-
stejn
21
Rozlutn
4.
22
23
14. Medvd
zdvoduje
25
samozejm stejn
da-
obtech. Pozstal
nechme
26
3. Poctivci a padoui
A. Ostrov
poctivc a padouch
26. V t star hdance klbos ti obyvatel - A, BaC na zahrad. Jde kolem cizinec a zept se A: "Jste padouch,
nebo poctivec?" A odpov, ale nezeteln, take cizinec
nerozezn, co ekl. Cizinec se nato zept B: "Co kal A?"
B odpov: ,,A kal, e je padouch." V tomto okamiku
tet, C, ekne: .Nevte B, ten le!" Co jsou BaC?
27. Kdy jsem poprv narazil na tuhle hdanku, hned m
napadlo, e C tu nehraje dnou podstatnou roli, e funguje sp jako jaksi pvek. U kdy promluvil B, mohli
jsme poznat, e B le, a nepotebovali jsme k tomu vpov C (viz rozlutni). Dal varianta hdanky u takov
nen.
Dejme tomu, e cizinec se nezept A, co je za, ale:
"Kolik je mezi vmi poctivc?" A odpov tak jako prve
nezeteln. Tak se cizinec zept B: "Co kal A?" B odpov: ,,A kal, e je mezi nmi jedin poctivec." Nato ekne
C: .Nevte B, ten le!" Co jsou BaC?
28. V tto hdance vystupuj jenom dva, A a B, kad
z nich je poctivec nebo padouch. A prohls: ,,Aspo jeden
z ns je padouch." Co jsou A a B?
29. Dejme tomu, e A ekne: "Bu j jsem padouch, nebo
B je poctivec." Co jsou A a B?
27
bu
poctivec, nebo
ekne:
28
37. Dejme tomu, e pijedete na ostrov poctivc a padouch. Jdete kolem dvou obyvatel, kte se ln vyhvaj na
slunku. Zeptte se jednoho z nich, je-li ten druh-poctivec, a dostane se vm odpovdi (ano - ne). Pak se zeptte toho druhho, je-li onen prvn poctivec. Zase se vm
dostane odpovdi (ano - ne). Mus bt ob odpovdi stejn?
38. Tentokrt jdete jen kolem jednoho obyvatele, co na
slunku tlue paky. Vzpomenete si, e se jmenuje Petr
nebo Pavel, ale nemete se upamatovat, jestli tak nebo
onak. Zeptte se ho tedy, jak se jmenuje, a on vm odpov:
"Petr." Jak se jmenuje?
29
C. Ostrov Bahava
Ostrov Bahava je ostrovem ensk rovnoprvnosti, take se tu i eny dl na poctivce, padouchy a normln. Jist
dvn vldkyn Bahavy vydala zkon, podle nho poctivec me uzavt satek jen s padouchem a padouch jen
s poctivcem. (Take normln lovk si me vzt jenom
normlnho.) V ktermkoliv manelskm pru bu ob
jeho polovice pat k normlnm lidem, nebo jedna je poctivec a druh padouch. Na ostrov Bahava se odehrvaj
dal ti hdanky.
44. Nejdve si pedstavme jeden takov manelsk pr,
pana a pan A, a ti prohls:
30
Pedpokldejme,
32
33
32. Nelze
z nich je padouch. Timto jedinm padouchem bude A, take C bude poctivec. Jestlie tedy B je poctivec, je jm i C Na
druh stran jestlie B je padouch, pak C mus bt poctivec,
(vichni tti nemohou bt padoui, jak u vme). Take a
taknebo tak, C je poctivec.
j
33.
34
1. monost: A je poctivec. Pak BaC maj stejnou povahu. jestlie C je poctivec. pak B je tak poctivec, B m
tedy stejnou povahu Jako A, take c: protoe mluv vdycky pravdu, odpov ,,Ano': jestlie C je padouch, pak B je
tak padouch (B m stejnou povahu jako C), a tak B nem
stejnou povahu jako A. Protoe C je padouch, bude lht
a odpovt.Ano".
2. monost: A je padouch. Potom BaC nemaji stejnou
povahu. jestlie C je poctivec, pak B je padouch, a B m
stejnou povahu jako A. Take c: protoe je to poctivec,
odpov ,,Ano': jestlie C je padouch, pak B, protoe nem
stejnou povahu jako c: je poctivec, a B nem stejnou povahu jako A. Pak c: protoe je to padouch, bude lht a odpov"Ano':
V obou ppadech tedy C odpov ,,Ano':
36. Abyste rozlutili tuhle hdanku, muste vyut informaci, kterou jsem vm poskytl, e toti pot, co mi jeden z tch
dvou odpovdl na mou otzku, znal jsem na ni sprvnou
odpov.
Ptedpokldejme, e ten lovk - nazvme ho A odpovdl ,,Ano': Mohl jsem pak u vdt, je-li aspo jeden
z tch dvou poctivec? Nikoliv. Mohlo by to bt toti tak, e
A byl poctivec a odpovdl podle pravdy ,,Ano" (co by
odpovdalo skutenosti, nebo aspo jeden z nich - toti
37
e pan B je normlnf, a tak i pan B je normln. To znamen, epan A i pan A lhali. Takepan A (ani pant) neni
poctivec, a tedy ani padouch, jsou oba normln .
39
A. Leva Jednoroec
Kdy Alenka vela do Lesa zapomnn, nezapomnala
vechno, jenom nco. asto zapomnala, jak se jmenuje,
a asi vbec nejvc zapomnala, kter den v tdnu zrovna
je. Do Lesa tak chodili Leva Jednoroec. To jsou zvltn
stvoen. Lev kad pondl, ter a stedu le a ostatn
dny v tdnu mluv pravdu. Jednoroec le vdycky ve tvr
tek, v ptek a v sobotu, zato ve zbyl dny v tdnu mluv
pravdu.
47. Jednou Alenka potkala Lva a Jednoroce, kdy zrovna
odpovali pod stromem. Ti dva prohlsili:
Lev: Vera jsem mllhac den.
Jednoroec: J ml vera taky lhac den.
Z tchhle dvou vrok Alenka (bylo to nramn bystr
dve) dokzala vyvodit, kter je prv den v tdnu. Kter
to byl?
48. Pi jin pleitosti Alenka potkala Lva samotnho.
Prohlsil:
(1) Vera jsem lhal.
(2) Popozt budu lht zas.
Kter den v tdnu byl?
49. Kter dny v tdnu me Lev prohlsit:
(1) Vera jsem lhal.
(2) Ztra budu lht zase.
pbhy hrdin klasick pohdkov knky Lewise Carrolla Alenka v kraji div a za zrcadlem. Vyli
jsme z pekladu Aloyse a Hany Skoumalovch.
40
ped
B. Tydlitk a Tydlitek
Jednou se Leva Jednoroec v Lese zapomnn c.el
ani neukzali. Mli co dlat jinde, horliv bojovali
za Krle.
Zato pilnmi nvtvnky v Lese byli Tydlitk a Tydlitek. Jeden z nich je jako Lev - le kad pondl, ter
a stedu a mluv pravdu ostatn dny v tdnu. Druh je jako
Jednoroec - le vdycky ve tvrtek, v ptek a v sobotu,
ostatn dny v tdnu mluv pravdu. Alenka nevdla, kter
z nich je jako Leva kter jako Jednoroec. A aby to bylo
vechno jet zamotanj, oba brati si byli tak podobn,
e je Alenka dokonce od sebe ani nerozeznala, jedin
kdy mli sv lmeky s vyitm jmnem, co bylo zdka
kdy. Take pro Alenku to byla situace setsakra zapeklit!
Tady mme pr phod, co Alenka zaila s Tydlitkem
a Tydlitkem.
msc
42
k."
43
44
D. Z tlamy Tlachapoudovy
Ze vech phod, co kdy Alenka zaila s povedenmi
bratky v Lese zapomnn, je ta, o kter se vm te
chystm vyprvt, jedna z nejpodivnjch, a Alenka na ni
jist nikdy nezapomene.
Zaalo to tak. Jednou Valihrach potk Alenku a povd:
"Dvenko,
Rozlutn
47. Lev
tvrtek.
tvrtek
tvrtek.
zjevn pravdiv,
49
take je
nedle.
Kdo
Pedevm v nedli neni mon, aby brati lhali a tikali, e neni nedle. Take neme bt nedle. Prvni z bratr
tedy mluvi pravdu, a druh (nent nedle) le. Druh fk,
e je pondlt, ale le, take neni pond1f.
Druh z bratr le, i kdy fk, e Lev vera lhal, take
vera ml Lev jeden ze svch pravdomluvnch dn. To
znamen, e vera byl tvrtek, ptek, sobota nebo nedle
a dnes je ptek, sobota, nedle nebo pondli. U jsme vylouili nedli a pondli, take must bt ptek nebo sobota.
A nyn pihldnme k tomu, e ztra je jeden z Tydlitkovch lhacicn dn (prvn z bratr, kter prv mluv pravdu, to pece ekl). Take dnes neme bt sobota, a je ptek.
Z toho dle plyne, e Tydlitek le v sobotu, jako Jednoroec. A prvni z bratr dneska mluv pravdu. a dnes je ptek,
take je to Tydlitk. Vechny zhady jsou objasnny.
58.
59.
Pravdpodobnost je tu nulov. Pedpokldejme, e vrok je pravdiv. Potom majitel ehtaky le, a tak to nem
e bt ten, co s Alenkou mluv. Pedpokldejme, e jeho
vrok je nepravdiv. Pak majitel ehtaky mluv pravdu,
a tak ani v tomto piipad to neme bt ten, co s n mluvi:
60.
50
52
R
Porciiny
L
a jin
A. Vyprvn prvn
67 a. V Shakespearov Bentskm kupci vystupuje dvka
Porcie, a ta m ti skky - zlatou, stbrnou a olovnou
- a v jedn z nich je Porciina podobizna. Kdo se uchz
o jej ruku, mus urit, v kter skce podobizna je, a pokud m tst (nebo je tak chytr) a uhodne, sm se s n
oenit. Na vku kad skky je npis, kter m npadnkovi pi volb pomoci.
Dejme tomu, e by si Porcie chtla vybrat manela ne
podle toho, jak je ctnostn, ale jen podle toho, jak je inteligentn. Dala na skky npisy:
Zlat
Stbrn
Olovn
PODOBIZNA
JEV TTO
PODOBIZNA
NEN V TTO
PODOBIZNA
NENI VE ZLAT
SKAICE
SKACE
SKACE
55
Tentokrt umstila na
skky
npisy:
Zlat
Stbrn
Olovn
PODOBIZNA
NENI VE STAIBRN
SKAINCE
PODOBIZNA
NENlvTTO
SKA/NCE
PODOBIZNA
.IEV TTO
SKAINCE
Npadnlkovi prozradila, e aspo jeden z npis je pravdiv a aspo jeden je nepravdiv. V kter skce byla
podobizna?
Jak u osud nkdy dl schvlnosti, ukzalo se, e npadnkem je Porciin bval manel. A byl tak chytr, e
rozlutil i tuhle hdanku, take se vzali znovu. Manel si
Porcii odvedl dom, pehnul ji pes koleno, podn j naplcal, a Porcii u ty blzniv npady pely.
B.Vyprvndruh
Porcie a jej cho u pak spolu ili pod astn a narodila se jim dcera Porcie II. - dl u j budeme kat jenom
Porcie. Kdy Porcie dospla v mladou enu, byla krsn
a chytr po mamince. Tak ona se rozhodla vybrat si mue
stejnm zpsobem. Npadnk musel podstoupit dv
zkouky.
68 a. Zkouka prvn.
Pi prvn zkouce byly na kadm vku npisy dva
a Porcie npadnkovi prozradila, e ani na jednom z vk
nen vce ne jeden nepravdiv npis. V kter skce byla
podobizna?
56
Zlat
Stbrn
68 b. Zkouka druh.
Kdy npadnk obstl v prvn zkouce, odvedla ho Porcie do vedlej sn, kde byly dal ti skky. A tak tady
byly na kadm vku dva npisy. Porcie npadnkovi prozradila, e na jednom z vk jsou oba pravdiv, na jednom
jsou oba nepravdiv, a na jednom je jeden npis pravdiv
a druh nepravdiv. V kter skce byla podobizna?
Zlat
Stbrn
57
69 a. Zkouka prvn.
Pi nov zkouce ml npadnk anci na spch (kdyby
hdal naslepo) dv ku tem, a ne jen jedna ku tem jako
pedtm. Porcie namsto podobizny vloila do jedn ze t
sknk dku. Ostatn dv skky byly przdn. Pokud si
npadnk nevybral skku s dkou, mohl se pustit do dal
zkouky.
Na skkch byly npisy:
~
58
Zlat
Stbrn
TATO SKAKA
JE PRZDNA
DKA JE
V TTO SKAICE
Olovn
NANEJV JEDNU
Z T~CHTO TAl SKIN~K
ZHOTOVIL BELLlNI
Kterou ze
sknk ml
npadnk vybrat?
69 b. Zkouka druh.
V dal zkouce byly npadnkovy ance na spch (kdyby hdal naslepo) jedna ku dvma. Porcie pouila jen dv
skky, zlatou a stbrnou, a do jedn z nich vloila svou
podobiznu (pi thle zkouce nebylo pouito dky). Kadou ze sknk zase zhotovil bu Cellini, nebo Bellini.
Na skkch bylo napsno:
Stbrn
Zlat
PRV~ .IEDNU
ZT~CHio
DVOU SKAIN~K
ZDE PODOBIZNA
NEN
ZHOTOVIL BEL.L1NI
Kterou ze
biznu?
sknk ml
59
69 c. Zkouka tet.
Pokud npadnk obstl u pedchozch dvou zkouek,
uvedli ho do dal sn, kde byla zlat, stbrn a olovn
skka. A zase, kadou ze sknk zhotovil bu Cellini,
nebo Bellini. U thle zkouky ml npadnk anci (kdyby
hdal naslepo) jedna ku tem - Porcie vloila svou podobiznu do jedn ze sknk. Aby spn obstl, npadnk
musel
(1) sprvn vybrat skku, v n byla podobizna;
(2) urit, kdo kterou skku zhotovil.
Byly na nich npisy:
Zlat
Stbrn
PODOBIZNA JE
ZDE
PODOBIZNA .IE
ZDE
Olovn
ALESPO DV~
Z TCHTO SKIN~K
ZHOTOVIL CELLlNI
D. Zhadn chyba
70. tvrt a posledn vyprvn je trochu zvltn a nzorukazuje dleitost jednoho logickho principu.
Npadnk z minulho pbhu obstl ve vech tech
zkoukch a sml si odvst Porcii III. Mli hodn dt,
vnuk, pravnuk atd. O nkolik generac pozdji se
n
60
v Americe narodil jejich prapraprapotomek enskho pohlav, ani nevm z koliktho kolena, a jako by z oka vypadl svm pedkm na starch podobiznch. Tak mu dali
jmno Porcie Nt - dl u j budeme kat jenom Porcie.
Kdy Porcie poslze vyspla v mladou enu, vynikala krsou a chytrost, stejn jako vechny pedchoz Porcie. Navc byla nramn il, skoro a nezbedn. Tak ona se
rozhodla vyvolit si manela metodou sknk (v dnenm
New Yorku je to vc znan neobvykl, ale toho si nevmejme).
Zkouka, kterou pipravila, vypadala dost jednodue.
Porcie mla jen dv skky, stbrnou a zlatou, a v jedn
z nich byla Porciina podobizna. Na vkch byly npisy:
Zlat
Stbrn
ZDE PODOBIZNA
NEN
PRV JEDEN
Z TCHTO
DVOU NPIS
JE PRAVDIV
Kterou
skku
stbrn
Stbrn
DKA JE
V TTO SKAjCE
SKA/KA
'TATO
JE PRZDN
Olovn
NANEJV
JEDEN NPIS
NA TCHTO
TAECH SKAKCH
JEPRAVDIV
62
(Srovnejte tuhle hdanku s prvn zkoukou Porcie ITL Nezd se vm, e je pln stejn?)
Tentokrt npadnk uvaoval velice obezetn. Pedpo
kldejme, e vrok (3) je pravdiv. Potom oba ostatn vroky mus bt nepravdiv, take vrok (2) je nepravdiv,
dka je tedy potom ve stbrn skce. Na druh stran
pokud je (3) nepravdiv, pak tu mus bt pinejmenm
dva pravdiv vroky, jednm z nich je nutn (1), a v tomto
ppad je tedy dka ve zlat skce. V obou ppadech je
olovn skka przdn.
A tak tedy si npadnk vybral olovnou skku, otevel
ji, a jak hrza, byla v n dka! S smvem na rtech otevela Porcie ostatn dv skky, a ty byly przdn.
ten se jist zaraduje, kdy se dozv, e Porcie si npadnka pesto vzala. (Rozhodla se tak toti u dvno
ped zkoukami a pimla ho, aby je podstoupil, jenom
proto, aby ho trochu pokdlila.) Jene zbv jet odpovdt na otzku: Kde npadnk udlal chybu?
Rozlutni
63
67 b. Kdyby podobizna byla v olovn skce, pak by vechny ti vroky byly pravdiv, a to by odporovalo danm
podmnkm. Kdyby podobizna byla ve stiibrn skfce,
pak by vechny ti vroky byly nepravdiv, co by opt bylo
v rozporu s danmi podmnkami. Take podobizna mus
bt ve zlat skfce. (Pak jsou prvn dva vroky pravdiv
a tet nepravdiv, coje ve shod s danmi podmtnkami.)
68 R. Meme rovnou vylouit olovnou skfku, ponvad
kdyby podobizna byla v nf, pak by vroky na olovn
skfce byly oba nepravdiv. Podobizna je tedy ve zlat
nebo ve stfbm skfce. Prvn vroky na zlat a stfbm
skfce tvrd tot, tedy jsou bu oba pravdiv, nebo oba
nepravdiv. Kdyby byly oba nepravdiv, pak druh vroky
by byly oba pravdiv - jenome to bt nemohou. pon
vad si navzjem odporuj. Take prvn vroky jsou oba
pravdiv a podobizna nen ani ve zlat skfce. je tedy ve
stiibrn skfce.
68 b, jestlie je podobizna ve zlat skfce, potom na zlatm i na stitbmm vku jsou oba vroky nepravdiv. jestlieje ve stitbm skfce, pak na sttibmm i olovnm vku
je vdy jeden vrok pravdiv a jeden nepravdiv. Podobizna je tedy v olovn skfce. (Na stfbmm vku jsou pak
oba vroky pravdiv, na olovnm oba nepravdiv a na
zlatm je jeden pravdiv a jeden nepravdivy).
69 R. Pedpokldejme, e olovnou skku zhotovil Bellini. Potom je vrok na n pravdiv, take ostatn skfky
musel zhotovit Cellini. To znamen, e oba zbvajc vroky jsou nepravdiv, tedy vrok na stfbm skfce je nepravdiv a dka je ve stfbm skfce. Take pokud je
olovn skfka dflem Belliniho, pak dka je ukryta ve
stttbrn skfce.
A nyn pedpokldejme, e olovnou skfku zhotovil
Cellini. Pak je vrok na n nepravdivy, a tedy Bellini zhotovil alespo dv skfky. To znamen, e zlat i stitbm
skka jsou dflem Belliniho (olovnou podle naeho ped-
64
70. Npadnfk si
65
66
67
A. Z inspektorovch ppad
Inspektor Nick Fishtrawn ze Scotland Yardu byl tak
laskav a souhlasil s uveejnnm nkterch ze svch slavnch ppad pro potchu i pouen vech, kdo se zajmaj
o vyuit logiky v boji proti zloinu.
71. Jednoduch ppad na zatek.
Bylo vyloupeno skladit a pachatel (nebo pachatel)
odvezl lup autem. Do Scotland Yardu pedvedli ti podezel zloince, A, BaC, a vyslchali je. Zjistilo se toto:
(1) Do loupee nebyl zapleten nikdo jin ne A, BaC.
(2) C se nikdy nepout do akce bez A.
(3) B neum dit auto.
Je A vinen?
72. Dal jednoduch ppad.
Zase lo o loupe.
Podezel A, BaC pedvedli k vslechu a zjistily se tyto
skutenosti:
(1) Do ppadu
nka. Naproti tomu B byl ostr hoch a spolovnm pmo
opovrhoval. Nkolik svdk vypovdlo, e v dob, kdy
dolo k loupei, vidli jedno z dvojat, jak popj v jistm
baru v Doveru, nevdlo se vak, kter z dvojat to bylo.
Pokud do loupee nebyl zapleten nikdo jin ne A, BaC,
kdo z nich je vinen a kdo nevinen?
74. Komplikovan ppad.
"Co vyplv ze zjitnch fakt?" zeptal se inspektor
Fishtrawn seranta Collohnatha:
(1) Pokud je A vinen a B nevinen, pak C je vinen.
(2) C nikdy nepracuje sm.
(3) A nikdy nepracuje s C.
(4) Krom A, BaC nen do ppadu zapleten nikdo dal
a aspo jeden z tch t je vinen.
Serant se pokrbal za uchem a ekl: "Obvm se, pane
inspektore, e z toho moc nevydmm. Vy byste dokzal
na" zklad tch fakt zjistit, kter z podezelch je vinen
a kter ne?"
.Nedokzal," odtuil Fishtrawn, "ale mme tu dost podklad, abychom jednoho z nich obvinili."
Komu z tch t lze dokzat vinu?
75. Ppad McGregorova obchodu.
Pan McGregor, obchodnk z Londna, telefonoval do
Scotland Yardu, e mu vyloupili obchod. Byli pedvedeni
k vslechu ti podezel, A, BaC. Zjistily se tyto skute
nosti:
(1) Kad z tch t, A, B i C, byl v den loupee v obchod, a nikdo dal ten den v obchod nebyl.
(2) Pokud je vinen A, ml prv jednoho spolenka.
(3) Pokud je B nevinen, je nevinen i C.
(4) Pokud jsou vinni prv dva, pak jednm z nich je A.
(5) Pokud je C nevinen, je nevinen i B.
Koho inspektor Fishtrawn obvinil z loupee?
76. Ppad ty.
Tentokrt byli
pedvedeni
k vslechu
69
tyi podezel,
A,
B, CaD; opt lo o loupe. Bylo znmo, e alespo jeden
z nich je vinen a e do loupee nen zapleten nikdo dal.
Dle vyly najevo tyhle skutenosti:
(1) A je nevinen.
(2) Pokud je B vinen, pak ml prv jednoho spolenka.
(3) Pokud je C vinen, pak ml prv dva spolenky.
Inspektora Fishtrawna zejmna zajmalo, je-li vinen D, byl
to toti obzvl nebezpen zloinec. Natst mu to uveden skutenostiumouj zjistit. Je D vinen?
B. Ze soudnch ppad
Inspektor Fishtrawn chodil asto k soudu a sledoval
jednni i u ppad, kter sm nevyetoval.Sedl tam, aby
se pocviil v logice - chtl si vyzkouet, jak by si s ppa
dy poradil on.
Uvedeme nkolik ppad, kter sledoval.
77. Byl souzen jist mu obvinn z asti na loupei alobce a obhjce prohlsili:
alobce: Pokud je obalovan vinen, pak ml spolen
ka!
Obhjce: To nen pravda!
Prospl tm obhjce svmu klientovi?
78. V dalch dvou ppadech stli ped soudem ti mui, A,
BaC, obvinn z asti na loupei.
V prvnm ppad bylo zjitno:
(1) Pokud je A nevinen nebo B vinen, pak C je vinen.
(2) Pokud je A nevinen, pak C je nevinen.
D se tu nktermu ze t obvinnch dokzat vina?
79. U druhho ppadu se zjistilo:
(1) Aspo jeden ze t obvinnch je vinen.
(2) Pokud je A vinen a B nevinen, pak C je vinen.
70
RozLutn
73
t. vaha: Piedpokldejme. e by B byl nevinen. Pak pokud by byl vinen A, tak C by musel bt podle (1) rovn
vinen, jene to by znamenalo, e A pracoval s C; a to je
v rozporu s (3). Take A je nevinen. Potom je jedin mon
vinik C; co je v rozporu s (2). Take B vinen je.
2. vaha vede k cm krati cestou:
(a) Ptedpokldejme. e A je vinen. Pak podle (J) nemohou bt BaC oba nevinni. take A musel mt spolenika.
Tmto spolentkem nemohl podle (3) bt C; a tak jtm musel bt B. Pokud je tedy A vinen, je vinen i B.
(b) Piedpokldejme, e C je vinen. Potom ml podle (2)
spolenika, tim nemohl podle (3) bt A, a tak to byl B.
(c) Pokud neni vinen A ani C; pak je B ovem vinen.
75. Inspektor Fishtrawn obvinil pana McGregora z piedsttrni loupee, protoe ve skutenosti k dn dojt nemohlo.
Inspektor usuzoval takto:
t. krok: Piedpokldejme, e A je vinen. Pak ml podle
(2) pi inu prv jednoho spolentka: Potom tedy je jeden
z BaC vinen a druh nevinen. To je v rozporu s (3) a (5),
74
vlastn
prohlsil, e
obvinn zloin
spchal,
a to sm. *)
78. To je
obzvl jednoduch. Podle (I), pokud A je nevinen; pak C je vinen (pokud A je nevinen; pak vrok "bu je
A nevinen. nebo B je vinen" je pravdiv). Podle (2), pokud
A je nevinen; pak C je nevinen. Take pokud A je nevinen.
75
alobcv
vrok pravdiv
76
85.
86. A
2. monost
3. monost
nevinen
normln
vinen
normln
Obvinn
nevinen
poctivec
Obhjce
vinen
normln
vinen
poctivec
nevinen
padouch
alobce
nevinen
padouch
nevinen
padouch
nevinen
poctivec
78
79
A. Jak si ponat ve
vlkodlam
lese
80
95.
vzt. Jene mil dvka m podivn vkus; z jakchsi zhadnch dvod si nechce vzt za mue poctivce a hodl se
vdt jedin za padoucha. Ovem chce se vdt za bohatho
padoucha, ne za njakho chuasa. (Pro jednoduchost
pedpokldejme, e kadho tam lze zaadit mezi bohe
nebo mezi chuasy.) A te si pedstavte, e skuten jste
bohat padouch. Smte k dotyn dvce pronst jedin vrok. Dokete ji pesvdit, e jste bohat padouch?
96. A te si naopak pedstavte, e dvka, kterou milujete,
si chce vzt za mue jen bohatho poctivce. Jak byste ji
jedinm vrokem pesvdil, e jste bohat poctivec?
97. Tentokrt jste pijel na ostrov poctivc a padouch na
nvtvu. Kad ena je tu poctivec nebo padouch. Zamilujete se do jedn ze zdejch dvek, jmenuje se Albta,
a chcete si ji vzt. Rd byste ovem vdl, co je Albta
vlastn za, nehodlte se oenit s padouchem. Kdybyste se
j sml vyptat, nebyla by to dn pot, jene na ostrov
jedno dvn tabu zapovd mui promlouvat se enou d
ve, ne s n uzave satek. Albta m vak bratra Artura,
a ten je rovn bu poctivec, nebo padouch (nemus bt
tot co sestra). Smte bratrovi poloit jedinou otzku, aby
na ni bylo mon odpovdt ,,Ano" nebo .Ne", Vam kolem je vymyslet si takovou otzku, abyste z odpovdi na ni
mohl s jistotou urit, je-li Albta poctivec nebo padouch.
Jakou otzku byste poloil?
98. Tentokrt jste picestoval na ostrov Bahavu, kde ij
poctivci, co vdycky mluv pravdu, padoui, co vdycky
lou, a normln lid, co nkdy lou a jindy zas kaj pravdu. Pipomnme, e Bahava je ostrov ensk rovnoprvnosti, i eny jsou tu poctivci, padoui nebo normln. Jeliko nepatte mezi obyvatele ostrova, nevztahuje se na
82
vs nazen, e poctivec sm uzavt satek jen s padouchem a padouch jen s poctivcem, take si mete vzt dvku, jak se vm bude lbit.
.
Mte si vybrat nevstu ze t sester, A, BaC. Je znmo,
e jedna z nich je poctivec, jedna padouch a jedna je normln. Dle je vak znmo, e ta normln je vlkodlak
(jak hrza!) a e ostatn dv nejsou. Pedpokldejme, e
by vm nevadilo uzavt satek s padouchem (ani s poctivcem), ale vlkodlaka si vzt nechcete. Smte poloit jedinou
otzku, kterou si sm zvolte, jedn ze sester, kterou si sm
zvolte, a odpov na otzku zase mus bt bu .Ano",
nebo .Ne", Jakou otzku polote?
zloiny,
nemus
jet
102. Te pijde trochu t hdanka. Jste nevinen a o pachateli je znmo, e nen normln. Proneste vrok, kter
nezvis na tom, jste-li poctivec, padouch, nebo normln,
a pitom pesvd soud, e jste nevinen.
103. A te zas jednu leh. Nejste pachatel, jste normln
a je znmo, e pachatel nen normln. Proneste vrok,
kter pesvd soud o va nevin.
104. Je znmo, e pachatel nen normln. Jste nevinen
a nejste padouch. Dokzal byste jedinm vrokem pe
svdit soud o obou tchto skutenostech?
105. Dvojnk prv uveden hdanky: Pachatel nen normln, vy jste nevinen a nejste poctivec. Z njakho zhadnho dvodu vm nevad povst padoucha ani normlnho, ale opovrhujete poctivci. Dokzal byste jedinm vrokem pesvdit soud, e jste nevinen a nejste poctivec?
k zlatmu
hebu, jist
se u ne-
106. Jste obyvatelem ostrova poctivc, padouch a normlnch. Milujete krlovskou dceru Margozitu a chtl byste ji za enu. Krl si nepeje, aby se jeho dcera vdala za
normlnho lovka. k j: "Zlato moje, nemla by sis
brt normlnho lovka. Tihleti normln jsou nladov,
nedsledn a naprosto nespolehliv. S normlnm nikdy
nev, na em jsi. Jeden den ti ekne pravdu, a druh den ti
zale. Kam by to vedlo? Takov poctivec je naprosto spolehliv, s nm vdycky v, na em jsi. No a padouch, to je
84
taky dobr partie, ten a ekne co chce, sta si jen domyslet opak, a hned v, jak to vlastn je. J myslm, e musk
m mt svoje zsady. Kdy se jednou d na pravdu, tak a
vdycky mluv pravdu. Kdy se rozhodne lht, tak a le
dsledn. Jene tihleti kolsav, nestl norrnlov, ti thnou jednou hot, pak zas eh - ne, zlato moje, to nen nic
pro tebe!"
Dejme tomu, e vy normln nejste, take jakstaks
vyhldky mte. Ovem muste krle pesvdit, e nejste
normln, jinak by vm svou dceru nedal. Krl vm udlil
audienci a smte k nmu pronst vrok, kolik je vm libo.
Hdanka m dv sti:
(a) Jak nejmen poet pravdivch vrok vm sta
pronst, abyste krle pesvdil, e nejste normln?
(b) Jak nejmen poet nepravdivch vrok vm sta
pronst, abyste pesvdil krle, e nejste normln?
107. Na jinm ostrov poctivc, padouch a normlnch
zastv krl nzory opan. k dcei: "Dvenko moje,
nepeji si, aby sis vzala poctivce ani padoucha, chci, aby sis
vzala obyejnho normlnho lovka. Nedovolm, aby sis
vzala poctivce, protoe poctivci jsou nesnesiteln svatouci. Nechci ani, aby sis vzala padoucha, protoe padoui jsou
proradn lhi. Tihleti to ani v diplomacii nikam nedothnou. Ne, dvenko, poestn normln oportunista, kter
k, co je prv zapoteb, to je musk pro tebe!"
A te si pedstavte, e jste na tom ostrov a jste normln. Vam kolem je pesvdit krle, e jste normln.
(a) Jak nejmen poet pravdivch vrok vm sta
pronst, abyste krle pesvdil, e jste normln?
(b) Jak nejmen poet nepravdivch vrok vm sta
pronst, abyste krle pesvdil, e jste normln?
108. Obtnj verze minul hdanky. Jej rozlutn dv jin (i kdy zbyten sloit) een minul hdanky,
ale rozlutn minul hdanky nesta k vylutn tto hdanky.
Zase jste obyvatelem ostrova poctivc, padouch a nor-
85
Rozlutni
86
87
88
98. Opt tu je vce zpsob een. Nejjednodu a nejelegantnj, o kterm vm, je vybrat si jednu - eknme
99. Obaloby vs
tvo
89
stedn
90
91
8. Logick hdanky
vod
Hodn hdanek v tto kapitole souvis s tzv. podmn
nmi vroky. Jsou to vroky typu "Pokud (jestlie, kdy)
plat P, pak (potom, tak) plat Q", kde P a Q jsou dan
vroky. Ne se dme do hdanek toho druhu, pedejdme
radji ppadnm nedorozumnm. Nkter vlastnosti
podmnnch vrok jsou kadmu zejm, jsou tu vak
i takov, na n se nzory mohou rozchzet.
Vezmme si konkrtn pklad. Podvejme se na vrok
(1) Pokud je John vinen, pak je vinna jeho ena.
Kad jist souhlas s tm, e pokud John vinen je a pokud vrok (1) je pravdiv, pak jeho ena je tak vinna.
Nikdo rovn nebude nic namtat proti tomu, e pokud
John je vinen a jeho ena je nevinna, pak vrok (1) je
nepravdiv.
Dejme tomu, e je znmo, e Johnova ena je vinna, ale
u nen znmo, je-Ii John vinen nebo nevinen. Povaujete
pak vrok (1) za pravdiv nebo za nepravdiv? Jist se
shodneme v tom, e a u je John vinen nebo ne, jeho ena
je vinna v kadm ppad. Jinmi slovy: Pokud je John
vinen, pak jeho ena je vinna, a pokud je John nevinen,
pak jeho ena je opt vinna.
Pklad takovho uit podmnnho vroku najdeme
hojn v literatue. Tak teba v povdce Rudyarda Kiplinga
Riki-Tiki-Tavi k kobra vyden rodin: "Kdy se pohnete, zatom, a kdy se nepohnete, zatom." Co neznamen nic vc a nic rn ne "Zatom". Je znm i p
bh uitele zenovho buddhismu Tokusana, kter na vechny otzky i na jin podnty obvykle reagoval uknm
sv hole. Proslul vtou: "Ticetkrt klepnu, kdy se mi to
zamlouv, stejn tak ticetkrt klepnu, kdy se mi to nelb'I. "
Shodli jsme se, e pokud je vrok Q pravdiv, pak jsou
pravdiv i vroky "Pokud P, pak Q" a "Pokud neplat P,
pakQ".
92
93
Prvn dek, p, p, p (pravdiv, pravdiv, pravdiv), znamen, e pokud P je pravdiv a Q je pravdiv, pak P-Q je
pravdiv. Druh dek, p, n, n, znamen, e pokud P je
pravdiv a Q je nepravdiv, pak P-Q je nepravdiv. Tet
dek k, e pokud P je nepravdiv a Q je pravdiv, pak
P-Q je pravdiv. tvrt dek k, e pokud P je nepravdiv a Q je nepravdiv, pak P-Q je pravdiv. Vimnte si, e P-Q je pravdiv ve tech ze ty uvedench
ppad, jen v druhm je nepravdiv.")
*) Pozn. pekl. U dve jsme se setkali s jinmi typy spojeni dvou vrok
(rozlutni
hdan-
P
p
PaQ
p.
Pnebo Q
95
dv
dv
jsou tyi."
dv
je
pt."
Co
113. Mme dva, A a B, kad je bu poctivec, nebo padouch. A ekne: "Pokud je B poctivec, tak j jsem padouch." Co je A a co B?
114. X a Y byli pohnni ped soud pro ast na loupei.
U soudu svd A a B, a kad je bu poctivec, nebo padouch. Svdkov prohls:
A: Jestlie je X vinen, pak je vinen i Y.
B: Bu je X nevinen, nebo je Y vinen.
Maj A i B nutn stejnou povahu? (Pipomeme Sl, ze
o dvou lidech z ostrova poctivc a padouch kme, e
maj stejnou povahu, kdy jsou bu oba poctivci, nebo oba
padoui.)
96
115. Mme
douch.
B. Logika a lska
116. Dejme tomu, e jsou pravdiv vroky:
(1) Miluji Btku, nebo miluji Janu.
Btku?
97
Nejsou ti logici pratn? Copak na to, abych vdl, miluju-li Btku, Janu, Evu, Marktu, lvu, Marii, Danu a j
nevm jet kterou, potebuju zasednout za stl a vypo
tat si to? Pedstavte si, e by se manelka optala svho
uenho muka: "M m rd?", a on by si na plhodinku
sedl, potal tukou na pape, a pak by j odpovdl: ,,Ano,
vylo mi, e t miluj u."
Pipomn mi to jednu dajn pravdivou historku o filozofovi Leibnizovi. Jednou pr pemtal, m-li se oenit
s jistou dmou, nebo ne. Posadil se, vzal tuku a papr
a napsal si dva sloupce: do jednoho sepisoval vhody, do
druhho nevhody takovho kroku. Nakonec byl druh
sloupec del, a tak se rozhodl neoenit se s n.
120. Dal hdanka je jednoduch, m vak pekvapiv
rozlutn, Jsem bu poctivec, nebo padouch. Pronesu dva
vroky:
(1) Miluji Lindu.
(2) Pokud miluji Lindu, pak miluji Katku.
Jsem poctivec, nebo padouch?
121. Nov varianta starho pslov.
Znm pslov k: "Pes, kter tk, nekoue," Mimochodem, zjistil jsem, e to nen pravdiv vrok. Tuhle na
m vybhl jeden pes, tkal jako zbsil a utrhl mi nohavici i s kusem ltka. Vrame se ale k pslov, Co kte jeho
nov variant: "Pes, kter tk, nekoue, ledae by t
kal?" Je to pravda, nebo ne?
C. Je na
ostrov
poklad?
98
Q je pravdiv". Tento vrok znamen, e pokud je pravdiv P, pak je pravdiv i Q, a pokud je pravdiv Q, pak je
pravdiv i P. Jinmi slovy, je-li pravdiv jeden z vrok P
a Q, je pravdiv i druh. Znamen to rovn, e P a Q jsou
bu oba pravdiv, nebo oba nepravdiv, Vrok "P, prv
kdy Q" se oznauje symbolem P- Q a k se "P je ekvivalentn s Q", nebo "P a Q jsou ekvivalentn". Tabulka
pravdivosti pro ekvivalenci je
p
Vimnme
99
100
Rozlutn
109-112. Vechny hdanky jsou zaloeny na stejn zkladn mylence. Mme vrok P. Jestlie obyvatel A ostrova poctivc a padouch ekne: "Pokud jsem poctivec, pak
P," tak je A zaruen poctivec a P mus bt pra vdivy! To je
na prvn pohled mon pekvapiv, ale meme to dokzat, dokonce dvma zpsoby.
1. zpsob: Ukame, e vrok pronesen A je pravdiv.
Podle vlastnosti 4 implikace k tomu sta z platnosti vroku "A je poctivec" odvodit platnost vroku P. Pedpokldej
me tedy, e A je poctivec. Potom jeho vrok "Pokud je
A poctivec, pak Pje pravdivy. A je tedy poctivec a je pravda, e pokud je A poctivec, pak P. Z tchto dvou fakt
vyplv, e P je pravdiv. Dokzali jsme, e pokud A je
poctivec, pak P. A prv to A tvrdil.' Je tedy poctivec. A protoe jsme dokzali, e pokud je A poctivec, pak P, je P
pravdiv.
2. zpsob: Pipomeme si, e z nepravdivho tvrzen ply101
102
103
vyjden vroku
pjdu
104
106
125. Hdanku rozlutme, kdy dvakrt pouijeme zkladn pravidlo (viz konec rozlutnhdanky 123).
jednou otzkou lze mezi tmi temi, co vm byli pedsta
veni, najt jednoho, kter nen normlnt. A to tak, e se
zeptte A: ,Je vrok, e jste poctivec, ekvivalentn vroku, e
B je normln?" Pedpokldejme, e odpov ,,Ano': Pokud
je A bu poctivec, nebo padouch, tak B mus bt normln
(podle zkladnho pravidla). To znamen, e C normln
nen. Pokud A nen poctivec ani padouch, tak je normlnt.
take C zase neme bt normln Odpov ,,Ano" tedy
znamen, e C nen normln.
Pedpokldejme, e A odpov .Ne". jestlie je A poctivec
nebo padouch, pak B nent normln (opt podle zkladnho pravidla). jestlie A poctivec ani padouch neni; potom B
opt nent normlnt. protoe tm je A. Odpov .Ne" tedy
znamen, e B neni normln.
Kdy se vm od A dostalo odpovdi "Ano': polote druhou otzku C; pokud se vm dostalo odpovdi .Ne". ptejte
se B. Pak mte zarueno, e se tete nkoho, kdo je bu
poctivec, nebo padouch. A polote mu stejnou otzku jako
v hdance 123, to jest je-li vrok, e je poctivec, ekvivalentn vroku, e na ostrov je poklad. Odpov ,,Ano" bude
znamenat, e na nm poklad je; odpovd.Ne", e tu nen.
126. Kdybyste neznali zkladn pravidlo, byla by to hdanka zapeklit. jenome vy pece u zkladn pravidlo znte
(viz rozlutn 123), a tak to bude pro vs hraka. jist vte,
e souet dvou sudch sel je sud, a e souet dvou lichch sel je tak sud. Odetete-li od sudho sla sud,
vyjde vm sud slo, a odetete-li od lichho lich, tak
vm vyjde sud. (Napitklad dvanct minus osm je tyi,
tinct minus sedm je est.)
Z vroku C vyplv (podle zkladnho pravidla), e
A a B maj stejnou povahu, to jest bu jsou oba poctivci,
nebo oba padoui. jejich vroky jsou tedy bu oba pravdiv, nebo oba nepravdiv. Pedpokldejme, e jsou oba
pravdiv. Pak podle vroku A je na ostrov sud poet
padouch. Podle vroku B je na ostrov lich poet lidi,
107
108
A. Kdo zhotovil
skku?
skka,
na n byl
TUTO SKKU
NEZHOTOVIL
BELLlNI ML.
Kdo zhotovil
Cellini ml.?
skku,
skka,
na n je npis:
TUTO SKKU
JSEM ZHOTOVIL
Co z toho usoudte?
131. Jist florentsk lechtic podval spoleensk radovnky. Vrcholily vdy hrou, a kdo v n zvtzil, dostal cenn
perk. Dotyn lechtic znal pbh s Porciinmi skka
mi, a ten ho inspiroval, kdy hru vymlel. Vzal ti skky,
110
Stbrn
JESTLIE JE$PERK
VE STBRN SKICE,
PAK STBRNOU SKKU
ZHOTOVIL BELLlNI
JESTLIE JE $PERK
V TTO SKCE,
PAK ZLATOU SKKU
ZHOTOVIL CELLlNI
Olovn
SKKU, V NJE
$PERK,
ZHOTOVIL CELLlNI
Ve kter
skce je
perk?
. B. Dvojice
sknk
Stbrn
DNOU Z T~CHTO
SKA/N~K NEZHOTOVIL
Kdo kterou
skku
sknk:
BELLlNI ML.
ANI CELLlNI ML.
zhotovil?
Stbrn
ZLATOU SKAIKU
ZHOTOVIL
BELLlNI ML.
skku?
skku
z tto soupravy
Zlat
Stbrn
STA/BRNOU SKA/KU
ZHOTOVIL
BELLlNI ML.
ZLATOU SKAKU
NEZHOTOVIL
BELLlNI ML.
112
135. Dokate, e
ml.:
alespo
jednu ze
sknk
zhotovil Cellini
Zlat
Stbrn
sTrtlBRNOU sKrtiKU
ZHOTOVIL
CELLlNI ST.
ZLATOU sKrtlKU
NEZHOTOVIL
CELLlNI ST.
sknk
zhotovil Bellini
Zlat
Stbrn
STrtBRNOU SKrtKU
ZHOTOVIL
BELLlNI ML.
ZLATOU sKrtlKU
ZHOTOVIL
CELLlNI ML.
139. Do tetice se mi dostala do rukou dvojice s identickmi npisy. Dokzal jsem z nich odvodit, e skky zhotovil bud' ob Bellini st, nebo ob Cellini st., ale nedokzal
jsem rozhodnout, kter z nich. Z jednoho npisu samotnho jsem to odvodit nedokzal. Dovedli byste sestavit takov npis?
140. Nejvzcnj dvojice sknk, s jakmi se mete setkat, vyhovuj tmto podmnkm:
(1) Z npis na skkch se d odvodit, e jednu z nich
zhotovil Bellini st. a druhou Cellini st., nelze vak
zjistit, kdo kterou skku zhotovil.
(2) Z jedn ani z druh skky samotn se ned odvodit, e jde o dvojici sknk zhotovenou obma mistry.
Ml jsem to tst, e se mi jednou takov dvojice dostala do rukou. (Mm za to, e takov dvojice byla zhotovena
jen jedin.) Dovedli byste na ni sestavit dvojici npis?
141. Pjemn dobrodrustv.
Kdysi, jet za svobodna, jsem pobval ve Florencii,
a etl jsem v novinch inzert: "Pijme se logik." Vydal
jsem se tedy do muzea, kter inzert uveejnilo, a tam mi
ekli, e potebuj logika, aby jim pomohl pijt na kloub
jedn zhad. Naly se tyi skky, dv zlat a dv stbr
n. Vdlo se, e tvo dvojice, jenome mil soupravy se
njak po mchaly, a tak se nevdlo, kter zlat pat ke
kter stbrn. Ukzali mi ty tyi skky, a brzo se mi
podailo tu zhadu rozeit. Za mou expertizu se mi dostalo tun odmny. Navc se mi podailo zodpovdt otzku,
kterou skku kdo zhotovil, za co jsem dostal dal honor (mimo jin celou bednu znamenitho chianti), a byl
jsem z vdnosti obdaen polibkem od jedn z nejpvab
njch dam ve Florencii,")
114
skky:
STAiBRNOU SKAIKU
ZHOTOVIL
CELLlNI
Zlat
Zlat
Stbrn
Stbrn
ZLATOU SKAKU
ZHOTOVIL
BELLlNI
Mme tu dv hdanky:
(a) Mla A tvoit dvojic s C, nebo s D?
(b) Kdo kterou skku zhotovil?
Rozlutn
131.1. krok: Piedpokldejme, e olovnou skfku zhotovil Bellini. Potom vrok na nf je pravdiv, a tak perk je ve
skce od Celliniho, neme tedy bt v olovn skffce.
Naopak pfedpokldejme, e olovnou skffku zhotovil
Cellini. Potom je vrok na nf nepravdivy. take perk je ve
skce od Belliniho, a tak opt neni v olovn skce. To
je dkaz, e v olovn sknce perk nenf.
2. krok: Te pfijdeme na to, e perk neme bt ve
stiibrn skce. Kdyby tam toti byl, vedlo by to k rozporu.
Piipustme, e perk je ve sttibm skffce. Nejprve pfedpokldejme, e zlatou skku zhotovil Bellini. Potom vrok
na nf je pravdiv, a protoe perk ve sttibm skce skuten je (jak piedpokldme), tak stitbrn skka je od
Belliniho. Z toho pak vyplv, e zlatou skku zhotovil
Cellini. Take pokud je zlat od Belliniho, potom je od
Celliniho!
Naopak piedpokldejme, e zlat skka je od Celliniho. Potom vrok na zlat skce je nepravdivy, z eho
vyplv, e stiibm sknka nent od Belliniho, a tak je od
Celliniho. Take vrok na sttibm skce je nepravdiv,
z eho vyplv, e zlat skka je od Belliniho. Jestlie
tedy zlat skka je od Celliniho. potom je od Belliniho,
a to neni mon.
Dokzali jsme, e perk neme bt ani ve stitbrn
skce. Tly je ve zlat skce.
132. Vrok na zlat skce neme bt pravdiv, jinak by
vznikl rozpor. Zlatou skku tedy zhotovil nkter Cellini.
Vrok na nf je nepravdiv, take Celliniov nezhotovili
skky ob, a tak stttbrnou skku zhotovil nkter Bellini. Vrok na sttibm skce je tedy pravdiv, a dnou
skku tedy nezhotovil mladi z mistr. Take zlatou
skku zhotovil Cellini st. a sttibmou skku Bellini st.
116
117
Kdy to shrneme, pokud vrok na zlat skfce je pravdiv, tak Bellini st. zhotovil zlatou skfku. Pokud je vrok
na zlat skfce nepravdivy, tak Bellini st. zhotovil sttibrnou skf{ku.
135. Piedpokldejme, e vrok na sttibrn skf{ce je pravdiv. Protoe je to pravdiv vrok, tak stitbmou skf{ku
zhotovil nkter Bellini. a tedy vrok na zlat skfce .Stitbrnou skfku zhotovil Cellini st."je nepravdivy. Vrok na
stttbrn skfce je pravdiv (podle naeho pedpokladu),
a tak zlatou skfku nezhotovil Cellni st. Take na zlat
skfce je nepravdivy vrok a nezhotovil ji Cellini st, tedy
ji zhotovil Cellni ml.
Naopak pedpokldejme,e vrok na stiibm skce je
nepravdivy. Potom zlatou skfku zhotovil Cellni st., a tak
vrok na nf je nepravdivy. stfbrnou skfku tedy nezhotovil Cellni st. Tak tedy na stttbrn skfce je nepravdivy
vrok a nezhotovil ji Cellni st, take ji zhotovil Cellini ml.
136. Piedpokldejme, e npis na zlat skfce je pravdiv.
Potom by npis na stbrn byl rovn pravdiv, a to by
znamenalo, e npis na zlat je nepravdivy. To je rozpor,
take npis na zlat je nepravdiv a sttibrnou skf{ku nezhotovil Bellni ml. Take pokud je npis na stbrn skf
ce pravdiv, stfbrnou skku zhotovil Bellini st. Pokud je
npis na stbrn skce nepravdivy, tak zlatou skku
nezhotovil Cellini ml., protoe ale npis na zlat je nepravdiv, zhotovil zlatou skfku Cellini st.
Kdy to shrneme, pokud npis na stfbrn je pravdiv,
pak stbrnou skku zhotovil Bellini st. Pokud Je npis na
stiibm nepravdivy, pak zlatou skfku zhotovil Cellini st
Je tedy bu stiibm skfka od Bellniho st; anebo je zlat
skfka od Cellniho st.
137. Tahle i dal tri hdanky maj mnoho een. Jedno
z een thle hdanky je, e na obou skkch byl npis:
"Bud' ob skf{ky zhotovil Bellni st; nebo aspo jednu
z nich zhotovil Cellni."
118
nktery
Cellini. Npis na zlat skfce tik; e P je ekvivaIentni Q. Npis na sttibm sktce iik, e na zlatou skf
ku umistil npis lh, ili e npis na zlat skfce je nepravdiv. To znamen, e jeden z npis je pravdiv a druh je nepravdiv.
Pedpokldejme, e npis na zlat skfce je pravdiv.
Potom (dokzali jsme, e jeden npis je pravdiv a druh
je nepravdivy) je npis na stiibm skfce nepravdiv, take ji zhotovil nktery Cellini; Q je tedy pravdiv. A kdy je
npis na zlat skfce pravdiv, je P skuten ekvivalentni
Q. Potom (Q je pravdiv) je P pravdiv.
Pedpokldejme, e npis na zlat skfce je nepravdiv.
Potom npis na stfbm skfce je pravdiv, a tak ji nezhotovil dn Cellini, Q je nepravdiv, a pfitom P neni
ekvivalentni Q. Take P je opt pravdiv.
Jak vidno, a tak nebo onak, P je vdy pravdiv, a to
znamen, e jednu ze skiink zhotovil Bellini st. a druhou
Cellini st.
141. Skfka A tvoii dvojici se skfkou D, protoe kdyby
byla ve dvojici se skfkou C, doli bychom k rozporu.
Pipusme, e by A byla ve dvojici s C Pedpokldejme,
e npis na A je pravdiv. Potom npis na C je nepravdiv.
To znamen, e i npis na A je nepravdivy, co je rozpor.
Naopak pedpokldejme, e npis na A je nepravdiv. Potom npis na C je pravdiv. To znamen, e npis na A je
tak pravdiv - znovu rozpor. Proto A nepatf do dvojice
s C Rozlutili jsme prvni polovinu hdanky.
Vezmme si dvojici B-C Pedpokldejme, e npis na
C by byl nepravdivy; Potom B zhotovil nktery Cellini a je
na ni nepravdiv vrok. To znamen, e ani jedna monost
neplatt: To, e prvni monost neplat, znamen, e C zhotovil nktery Bellini. Pokud tedy je vrok na C nepravdiv,
pak C zhotovil nktery Bellini, co neni mon. Take vrok na C je pravdiv, a tedy vrok na B je rovn pravdiv
(vrok na C pravt. e B zhotovil nktery Bellini). Prvni monost z vroku na B pravdiv neni. take pravdiv je druh
monost. A tak skfku B i skfku C zhotovil Bellini st.
120
121
DL
ID
A. Hledn absolutna
V jedn filozofick knce, u ani nevm v kter, jsem
"Opravdov filozof je desetilet dve, kter se dv
z okna, a najednou se oto k matce: ,Mami, m to asi je,
e vbec nco je?'"
Tento problm u pivedl do rozpak nejednoho filozofa. Nkte myslitel prv tohle povauj za zkladn problm v filozofie. Peforrnulovali ho do otzky: "Pro
nco existuje, msto aby neexistovalo nic?"
No jen se nad tou otzkou trochu zamyslete; nem nco
do sebe? Opravdu, pro nco existuje, msto aby neexistovalo nic? Byl jednou jeden filozof a ten se rozhodl, e za
hlavn badatelsk kol svho ivota si zvol prv problm, pro existuje nco, msto aby neexistovalo nic. Nejdv peetl vechny knky pojednvajc o filozofii, jenome dn z nich mu neprozradila, pro nco existuje,
msto aby neexistovalo nic. A tak se tedy vrhl na teologii.
Vyptval se vech uench rabn, kn, biskup, pastor
a jinch sluh boch, ale dn z nich mu nedokzal uspokojiv vysvtlit, pro nco existuje, msto aby neexistovalo
nic. Tak upel svou pozornost na orientln filozofii. Putoval po dvanct let Indi a Tibetem, promlouval s nejrznj
mi mstnmi vykladai svta, ale nikdo z nich nevdl,
pro nco existuje, msto aby neexistovalo nic. Pot strvil
dvanct let v n a v Japonsku a obchzel velijak taoistick poustevnky a uitele zenovho buddhismu. Nakonec
navtvil jednoho mudrce a ten mu na smrteln posteli
ekl: .Ne, synu, ani j nevm, pro existuje nco, msto aby
neexistovalo nic. Jedin msto na tto planet, kde znaj
odpov na tvou otzku, je ostrov Baal. Jeden z velekn
baalsk svatyn zn odpov."
,,A kde je ten ostrov Baal?" zeptal se filozof dychtiv.
"Ani na to ti nedoku odpovdt," pravil mudrc. "Vru, za
etl:
125
Rozlutni
pedpokldme,
143. je zejm, e A je padouch (poctivec by nemohl pronst vrok. jak vyslovil A). Ponvad B souhlas s A, tak B
je tak padouch. Vrok A je nepravdivy, tj neni pravda, e
(1) oba jsou padoui a e (2) jde o ostrov Maya. Pitom (1)
pravdiv je, (2) tedy mus bt nepravdiv. Take ostrov
neni ostrovem Maya.
144. Protoe B souhlas s A. jsou bu oba poctivci, nebo
oba padoui. Kdyby byli oba poctivci, pak by nebyl alespo
jeden z nich padouch, a tak vrok A by byl nepravdiv. To
neni mon, kdy A je poctivec. Take oba jsou padoui To
znamen, e vrok A je nepravdiv. A vak prvn st vroku A je pravdiv (oba jsou padoui, tedy alespo jeden
z nich je padouch), a tak druh st mus bt nepravdiv.
Take ostrov neni Maya.
145. A je zejm padouch. poctivec by nemohl vyslovit takov vrok. jestlie B je poctivec, pak podle jeho vroku
nejde o ostrov Maya. jestlie B je padouch, potom prvn
st vroku A je pravdiv. Vrok A je cel nepravdivy,
kdy A je padouch, take druh st mus bt nepravdiv.
Ani tady nejde o ostrov Maya.
147. Kdyby A byl padouch, potom by ob sti jeho disjunktivnfho vroku byly nepravdiv, co by znamenalo, e
B je padouch. To by znamenalo, e ob sti disjunktivniho vroku B by byly nepravdiv, A by tedy byl poctivec. To
je rozpor, a tak A je poctivec. Take jeho vrok je pravdiv,
bu B je poctivec, nebo to je ostrov Maya. Pokud je pravdiv druh monost, pak to ovem je ostrov Maya. Pedpo
kldejme, e je pravdiv prvnf monost, to jest pedpokl
dejme, e B je poctivec. Potom vrok B "Bu A je padouch,
nebo je tohle ostrov Maya" je pravdiv. Pitom A padouch
neni, take prvnf monost je nepravdiv. Pravdiv je monost druh, jde tedy o ostrov Maya.
Shrme si nai vahu: Zjistili jsme, e bu je B poctivec.
nebo tu jde o ostrov Maya. A vak i kdy je B poctivec, jde
o ostrov Maya. Take to je ostrov Maya.
Konen jsme tedy nalezli ostrov Maya!
opi pocti-
156. Prvn
ten, kter
odpov
135
..
11. Ostrov zakletch
A.BALaGA
Na jednom tichomoskm ostrov se dailo ern magii.
Dobr polovina obyvatel byla zakleta kouzlem vudu. Zaklet domorodci na tom ostrov se vak nechovaj tak, jak
bv u vudu obvykl. Nejsou nm ani zdnliv mrtv, pohybuj se a mluv jako obyejn lid. Li se jen tm, e
zaklet lid vdycky lou a obyejn lid vdycky mluv
pravdu.
Jist vm to pipomn poctivce a padouchy, jen v jinm
pevleku. Jenome je to jinak! Tady situaci komplikuje
skutenost, e i kdy vichni mstn obyvatel rozumj evropskm jazykm, dvn tabu platc na ostrov jim zakazuje mluvit cizm jazykem. A jim polote jakoukoliv
otzku, na ni je odpov "Ano" nebo .Ne", vdycky
odpovd bu "Bal", nebo .Ga": jedno slovo znamen
.Ano" a druh .Ne", Pot je ale v tom, e nevme, kter
z dotynch domorodch slov znamen .Ano" a kter
"Ne".
158. Jednou jsem potkal obyvatele zmnnho ostrova
a zeptal jsem se ho: "Znamen ,Bal' ,Ano'?" Odpovdl mi:
"Bal."
(a) D se z toho odvodit, co znamen "Bal"?
(b) D se z toho odvodit, je-Ii ten obyvatel zaklet?
159. Lze jednou jedinou otzkou zjistit, co znamen
"Bal"? (Pamatujte, e dostanete odpov bu "Bal", nebo
"Ga".)
160. Dejme tomu, e vs nezajm, co znamen "Bal", ale
jen to, je-li dotazovan lovk zaklet. Dokete to zjistit
jedinou otzkou? (Opt: dostanete odpov bu "Bal",
nebo "Ga".)
136
162. A te trochu t hdanku. Povd se, e je na ostropoklad. Piplujete na ostrov, a ne zanete kopat, chcete vdt, je-Ii tam poklad opravdu. Vichni domorodci
vd, jak to s pokladem je. Jak to zjistte jedinou otzkou?
Pipomeme si, e odpov bu "Bal", nebo .Ga", a z odpovdi se muste dozvdt, je-li tam poklad, bez ohledu na to,
co "Bal" a .Ga" vlastn znamen.
v
pedchoz
hdance
urit,
maj-li A a B stejnou
Rozlutn
meme odvodit;
e autor odpovdi neni zaklet.
Pedpokldejme, e .Bal" znamen ,,Ano': Potom .Bal"je
pravdiv odpov na otzku, znamen-li "Bal" ,,Ano':
V tomto pffpad tedy autor vroku byl obyejn lovk.
Pedpokldejme, e .Bal" znamen .Ne". Potom je "Bal"
pravdiv odpovna otzku, znamen-li "Bal" ,,Ano': Opt
je tedy autor vroku obyejn lovk. Bez ohledu na to,
znamen-li .Bal" ,,Ano" nebo .Ne". je tedy autor vroku
obyejn lovk.
159. Sta se ho zeptat;je-li obyejn lovk. Vichni domorodci na ostrov tvrdt. e jsou obyejn lid, obyejn i zaklet tedy odpov kladn. jestlie tedy odpov "Bal'; potom
"Bal" znamen ,,Ano"; jestlie odpovt.Ga'; potom .Ga" zna'
men ,,Ano" (a "Bal" .Ne").
160. Poslou vm spolehliv otzka z hdanky 158. Zeptejte se ho prost, znamen-li .Bal" ,,Ano': Pokud "Bal"
znamen ,,Ano': potom pravdiv odpov na otzku je
.Bal", obyejn lovk tedy ekne "Bal" a zaklet .Ga". Pokud .Bal" neznamen ,,Ano'; potom pravdiv odpov na
otzku je opt "Bal'; take obyejn lovk ekne "Bal"
a zaklet .Ga".
161. je nkolik monosti; jak dceru zfskat. jedna je, e se
zeptte medicinmana, je-li "Bal" pravdiv odpov na
otzku, je-li on obyejn lovk. Dokeme, e mus odpovdt "Bal': Pro jednoduchost si ozname psmenem H
otzku: .Jste obyejn lovk'!' Pipomeme si, e se ho
neptte, je-li odpovna H kladn, ale je-li "Bal" pravdiv
odpovnaH
1. ppad: Medicinman je obyejn. Pokud "Bal" znamen ,,Ano'; potom .Bal je pravdiv odpov na H, a ponvad medicinman je obyejn lovk, ekne vm podle
139
.Ne". potom je "Bal" nepravdiv odpov na H, a medicinman vm podle pravdy ekne, e to tak nent. ekne tedy
"Bal': Take obyejn medicinman odpovl ..Bal': bez ohledu na to, znamen-li "Bal" "Ano" nebo .Ne".
2. ppad: Medicinman je zaklet. Pokud ..Bal" znamen ,,Ano': potom "Bal" nen pravdiv odpov na H, ale
protoe medicinman je zaklet, zale a ekne, e to pravdiv odpov je, ekne tedy ..Bal': Pokud "Bal" znamen
.Ne", potom "Bal" je pravdiv odpov na H, medicinman
zale a ekne, e to pravdiv odpov neni; ekne tedy
"Bal': Zaklet medicinman tedy ekne "Bal'; bez ohledu na
to, znamen-li "Bal" "Ano" nebo .Ne".
Spolehliv tu posloui i jin otzky:
(I) je pravda, e bu jste obyejn lovk a "Bal" znamen ,,Ano': nebo jste zaklet a "Bal" znamen .Ne"?
(2) je pravda, e jste obyejn lovk, prv kdy "Bal"
znamen ,,Ano"?
162. Zase existuje nkolik monost, jak toho doshnout.
jedna monost je, e se zeptte: "Kdyby se vs nkdo ptal,
je-li na tomhle ostrov poklad. odpovdl byste Bal'?"
Dokeme, e pokud je na ostrov poklad, tak odpov
"Bal': a pokud tam nent. odpovi.Ga", bez ohledu na to, je-li
obyejn lovk nebo zaklet, a bez ohledu na to, co vlastn znamen "Bal" a "Ga':
Otzku .Je na tomhle ostrov poklad?" ozname jako G.
1. ppad: Domorodec je obyejnlovk a "Bar zna-
men ,,Ano'~
Pedpokldejme,
,,Ano".
140
.c:
men"Ne'~
Pedpokldejme, e na ostrov je poklad. Potom "Bal" je
nepravdiv odpov na G, take obyejn lovk by tak
neodpovdl. ekne vm podle pravdy, e by neodpovdl
Pedpokldejme,
e na
ostrov
odpovdl
jet
ty
neme
A. V Transylvnii
A u nm Bram Stoker") namluvil cokoliv, ml jsem
zvan dvod pochybovat, e hrab Dracula byl skuten
zahuben. A tak jsem se rozhodl, e se vydm do Transylvnie, abych vyptral, jak se vci doopravdy maj. lo mi
o tohle: (1) zjistit, je-li hrab Dracula jet iv, (2) v ppa
d, e byl zahuben, chtl jsem vidt na vlastn oi jeho
pozstatky, (3) v ppad, e ije, chtl jsem se s nm setkat.
V dob, kdy jsem pobval v Transylvnii, asi tak polovina obyvatel byli lid a polovina byli upi. Lid se podle
zevnjku od upr nedaj rozeznat, lid vak (alespo
v Transylvnii) vdycky mluv pravdu a upi vdycky
lou. Celou situaci znan komplikuje to, e polovina obyvatel Transylvnie se pln pomtla. Jsou popleteni v tom,
e o kadm pravdivm tvrzeni si mysli, e je nepravdiv,
a kad nepravdiv pokldaj za pravdiv. Druh polovina
si zachovala zdrav rozum a dobe v, kter tvrzen je
pravdiv a kter nepravdiv. A tak obyvatel Transylvnie
jsou ty druh: (1) rozumn lid, (2) pomaten lid, (3)
rozumn upi, (4) pomaten upi. Ve, co ekne rozumn
lovk, je pravda; nic, co ekne pomaten lovk, nen
pravda; nic, co ekne rozumn upr, nen pravda; a ve, co
ekne pomaten upr, je pravda. Tak teba rozumn lo
vk ekne, e dv a dv jsou tyi; pomaten lovk ekne,
e nejsou (protoe si vn mysli, e nejsou); rozumn
upr rovn ekne, e nejsou (protoe v, e jsou, a le);
pomaten upr ekne, e jsou (protoe mysli, e nejsou,
a le).
*)
143
ekl:
.Nejsem rozumn
lovk."
170:Jednou jsem potkal jednoho mstnho obyvatele a zeptal se ho: "Jste pomaten upr?" Cosi odpovdl, a j u
vdl, co je za. Co byl za?
171. Jednou jsem zase potkal jednoho Transylvnce, a ten
mi ekl: "J jsem upr." D se z toho usoudit, je-Ii to lovk
nebo upr? D se z toho usoudit, je-li rozumn nebo pomaten?
172. Dejme tomu, e Transylvnec ekne: "Jsem pomaten." D se z toho usoudit, je-Ii to lovk nebo upr? D se
z toho usoudit, je-li rozumn nebo pomaten?
lovk,
178. Namsto toho se ho zeptte: "Myslte si, e jste spolehliv?" Odpov vm bu ,,Ano", nebo .Ne", Poznte
z jeho odpovdi, je-li to upr? Poznte, je-li rozumn?
B. Je
hrab
Dracula iv?
vyeit, byla
hrab
il,
odpovdt ,,Ano",
druh pat?
146
190. Dokzali byste jedinou otzkou z Transylvnce vythnout, je-Ii hrab Dracula iv?
D. Na
Draculov hrad
E. Draculova hdanka
A u jsme ped vrcholem celho dobrodrustv! Ptho
dne jsem si zjistil vechno, co jsem poteboval vdt Dracula byl opravdu iv, til se skvlmu zdrav, a byl
domcm pnem na hrad. Ke svmu pekvapen jsem
zjistil i to, e Dracula je pomaten upr, take vechny
vroky, kter vyslov, jsou pravdiv.
Jenome k emu mi to vechno bylo dobr, te kdy
jsem byl vydn na milost a nemilost osudu a hrozilo mi
nebezpe, e budu promnn v upra a navdycky pijdu
o dui? Za nkolik dn vechny radovnky skonily
a vem hostm bylo dovoleno z hradu odejt, a na mne.
Zstal jsem oputn na hrzostranm hrad, vze domcho pna, kterho jsem jet ani nespatil.
Neekal jsem dlouho. Krtce ped pl noc m vyburcovali z tvrdho spnku a s chladnou zdvoilost eskortovali
do soukromch komnat hrabte Draculy. Zejm se mu
zachtlo udlit mi audienci. M prvodci se ztratili a j stl
tv v tv samotnmu hrabti Draculovi. Po chvli mle-
149
Rozlutni
bu pravdiv,
nebo nepravdivy. Ptedpolovk; ani rozumn, a tak to must bt pomaten uptr: Iene pomateni
upf vyslovuji pouze pravdiv vroky, a mme tu rozpor.
Takte jeho vrok je pravdiv. Pravdiv vroky vyslovujt
jedin rozum nf lid nebo pomateni upiti: Kdyby to byl pomaten uptr; pak by nebyl ani lovk; ani rozumn, a jeho
vrok by byl nepravdivy. My vime, ejeho vrok je pravdiv, take to must bt rozumn lovk:
152
vyrok:
153
dsledek
teent
Pedpokldejme, e
Pedpokldejme jet,
179. Ned se to
154
180.Ned.
181. Ned. Mohl by to teba bt pomaten uptr; a to by
potom Dracula mohl; ale nemusel bt iv.
182. Tentokrt z vroku vyplv, e Dracula je iv.
155
lovk,
156
157
196. Univerzlnprincip.
Ozname kadho Transylvnce z elity mtstnt spole
nosti, kter odpovi "Bal" na otzku ,Je 2+2=4?': jako 1.
typ. To samoziejm znamen, e kdy mme jakoukoliv
otzku, na ni pravdiv odpovje ,Ano': tak osoba patitcf k 1. typu na ni odpovi "Bal': Za Transylvnce 2. typu
budeme povaovat ty z elity, ktett nepatti k 1. typu. To
znamen, e kdy mte pravdiv vrok X (jako tteba. e
2+ 2= 4), a zeptte se kohokoliv 2. typu, je-li X pravdiv,
odpovi vm "Ga':
Vimnme si, e pokud "Bal" znamen ,Ano': potom lid
1. typu jsou spolehlivf, a lid 2. typu jsou nespolehlivf. Pokud "Bal" znamen .Ne", je tomu obrcen (J. typ je nespolehliv a 2. typ spolehliv).
Univerzln princip spoiv v tomto: Kdy chceme u libovolnho vroku X zjistit; je-li pravdiv, tak se elitnfho
Transylvnce zeptme, je-li X ekvivalentnt vroku, e dotyn patii k 1. typu. Meme svou otzku formulovat tieba takhle: .Je X pravdiv, prv kdy jste 1. typu?" Dokeme, e pokud odpovi "Bal': potom je X pravdiv, a pokud
odpovi "Ga': potom je X nepravdiv. Tedy "kouzeln" vrok S znt: .Jste 1. typu." (Neboli .Na otzku, je-li 2+ 2= 4,
odpove ,BaL: ")
Dkaz: S je vrok ,Jste 1. typu" a X je vrok, o jeho
pravdivosti se chcete ptesvdit. Otzka, kterou tu poloite,
zni ,Je S ekvivalentnt X?" Piedpokldejme, e dostanete
odpov "Bal': Dokeme, epotom je X pravdiv.
1. pfpad: ,,Balil znamen ,,Ano/~ V tomto ptipad
158
vnec nleejict k
vkvtu
159
160
ern
A. Co je logika
198. Jak vystihl povahu logiky Tydlitk.
Velice se mi lb, jak povahu logiky vystihl Tydlitk,
Tydlitek (k Alence): Vm, na mysl, ale tak to vbec
nent
.
Tydlitk: Prv naopak. Jestlie to tak snad bylo, bylo
to tak, a kdyby to tak snad bylo, bylo by to tak, ale protoe
to tak nen,nen to tak. To je logika.
202. To mi
163
tot?
164
Logicky vzato ob vty kaj tot, ob jsou ekvivalentn vroku, e dn jdlo nen zrove dobr i levn. Pes
toe oba vroky jsou z logickho hlediska ekvivalentn,
ekl bych, e psychologicky nepsob stejn. Kdy tu prvn vtu, pedstavuji si dobr a nkladn jdlo, kdy tu
druhou, myslm na lacin mizern blaf. Jsem pesvden,
e to je typick reakce.
166
214. Dal dajn pravdiv historka se odehrv ped vlkou v Princetonu. Hlavn roli v n hraje jedna holika, co
mla ve kole pote s matematikou. Najednou se neuv
teln zlepila. Kdy ji matka chvlila, holika se pochlubila: "Slyela jsem, e tu bydl jeden profesor, co um moc
dobe potat. Tak jsem u nho zazvonila, a on mi te
pomh. Pot opravdu dobe." Zkoprnl matka chtla
169
vdt,
Holika
nato:
.Njak jako
215. Podle jin historky pr jednou Einstein povd kolegovi, e by nerad pednel v koedukovanm kursu, protoe kvli krskm v posluchrn pak hoi nevnuji nleitou pozornost matematice a fyzice. Jeho ptel nato: ,,Ale
Alberte, vezmi to, dobe v, e tebe kluci urit budou
poslouchat a nebudou se dvat nalevo napravo." Nato Einstein pohrdav: "Ech, takov mldenci nestoj za to, abych
je uil."
216. Rozdil mezi fyzikem a matematikem dokonale vystihuje tahle anekdota: Fyzik a matematik letli spolu na
sluebn cestu. Nad Kansasem peletli nad ernou krvou. Po nvratu samozejm museli sepsat obrnou cestovn zprvu o zskanch poznatcich. No pro ne. Fyzik
napsal: "V Kansasu se pase ern krva." Matematik napsal: "V Kansasu se psla krva svrchu ern."
C. Vermonan
217. Ta phoda s krvou pipomn historku, kter se vyprv o bvalm prezidentovi Cal vinu Coolidgeovi. Coolidge zavtal s pteli na jeden statek. Pili ke stdu ovci,
a jeden z ptel povd: "Koukm, e ty ovce zrovna ost
hali." Coolidge odtuil: "Z thle strany to tak vypad."
218. Humorista Will Rogers ml bt pijat prezidentem
Coolidgem. kali mu, e Coolidge nikdo na svt nerozesmje. Rogers si zamanul, e se mu to povede. A povedlo!
Kdy ho tajemnk uvedl k prezidentovi a pravil: "Pane
Rogersi, rd bych vs pedstavil prezidentu Coolidgeovi,"
Will Rogers se otoil k prezidentovi a ekl: "Pardon, pe
slechl jsem vae jmno. S km mm tu est?"
170
anekdoty o Vermonanech. Jedna vyprv o tom, jak vermontsk farm sed na verand a houp se v kesle. Kolemjdouc se ho pt: "To se takhle houpte cel ivot?"
Farm na to: "Jet ne!"
220. Typickou vlastnost Vermonan (alespo podle toho,
co se o nich povd v anekdotch) je, e Vermonan, kdy
se ho nkdo na nco zept, odpov pesn, jenome do sv
odpovdi nezahrne njakou velmi dleitou a podstatnou
informaci. Tuhle povahu Vermonan vystihuje anekdota
o farmi, kter zael za sousedem a ptal se ho: "Leme, cos
to dval vloni svmu koni, kdy ml koliku?" Lem mu
odpovdl: "Otruby a melasu." Farm se vrtil dom, za
tden byl u souseda znovu, a povd: "Leme, tak jsem dal
koni otruby a melasu, a on poel." Lem nato: "Ten mj
tenkrt taky."
221. Moje oblben anekdota o Vermonanech je o turistovi putujcm po Vermontu, jak se octl ped rozcestnkem.
D. Zejm?
222. Tahle historka se vyprv o mnoha matematicfch.
Jestlie profesor N
to neum dokzat.
ekne
"To je
zejm",
znamen to, e
E. Roztrit profesoi
226. Jeden kolega potkal v aule jistho profesora. Zeptal
se ho: "U jsi byl na obd?" Profesor chvli vzpomnal
a pak ekl: "Kterm smrem jsem el, kdy jsi m zastavil?"
227. Jednou jsem slyel pknou historku o matematikovi
Davidu Hilbertovi. Rkal jsem j jednomu fyzikovi, a ten ji
znal, ale o Amprovi,
J jsem ji slyel tak, e Hilbertovi zrovna podali ve
rek. Kdy se host zaali schzet, pan Hilbertov si vzala
manela stranou a povd mu: "Davide, jdi nahoru a vem si
jinou kravatu." Hilbert el nahoru; uplyne hodina, a on se
stle nevrac. Pan Hilbertovou to znepokojilo, la za nm
nahoru a nala Hilberta v posteli, spal jako dudek. Kdy
ho vzbudila, vzpomnl si, e jakmile si sundal kravatu, automaticky pokraoval dl, a jak byl navykl, svlkl si zbvajc oacen, vzal si pyamo a el spt.
228. Z historek o roztritch profesorech mm nejradji
tu o Norbertu Wienerovi. Nen mi znmo, je-li pravdiv
nebo ne (mon by to bylo, Wiener kstru patn vidl),
ale a u je to pravda nebo ne, tady ji mte.
Wienerovi se mli sthovat z jednoho konce Cambridge
na druh. Pan Wienerov, protoe vdla, jak manel
bv duchem neptomn, rozhodla se pipravit ho na celou akci pedem. Msc ped sthovnm povd manelovi rno, ne odeel na fakultu: "Tak, Norberte, ode dneka
za ticet dn se sthujeme. A pak pjde ze koly, nenastupuj do autobusu A, ale do autobusu B!" Wiener odvtil:
,,Ano, drahouku." Druh den rno pan Wienerov zase
povd: .Norberte, pamatuj si, za devtadvacet dn se st173
F. Hudebnci
pedepsal na zatek jedn sv
skladby: "Co nejrychleji." O pr dek dl napsal: "Rychleji."
23t.
projd na
174
aspo
G. Potae
233. U se toho hodn naexperimentovalo s pekldnm
rznch vt z jednoho jazyka do druhho pomoc pota
e. Uelem takovch experiment je zjistit, k jak velkmu
dojde zkomolen. V oblib jsou zejmna ustlen ren.
Tak jednou dali potai peloit anglick slov "The
spirit is strong but the flesh is weak", co znamen "Duch
je siln, le tlo slab". Je to vlastn citt z bible a pipom
n, e nae ln a hn tlo nerado uskuteuje krsn
pedsevzet. Vtina slov v tto vt m vak vce vznam, a pota si vybral tyhle: ,,Alkohol je siln, ale maso je
zkaen."
234. Anglick pslov .Out of sight, out of mind" m esk
ekvivalent "Sejde z o, sejde z mysli". Pota je peloil
trochu jinak: "Ztratil zrak i rozum."
175
176
A. Dkazy neuvitelnch vc
238. Dkaz, e existuje bu Tydlitk, nebo Tydlitek.
Nedokerne, e existuj oba, dokeme pouze, e existuje alespo jeden z nich. Z dkazu nezjistte, kter z nich
vlastn existuje.
177
(3)
Pevedeme-li ob
vyjde nm 3 = 2.
182
opan,
184
185
187
A. Paradoxy
252. Prtagoniv paradox.
Jeden z nejstarch znmch paradox pipomn staroprva Pr6tagora, kter pijal jednoho chudho, avak nadanho ka a uvolil se vyuovat ho bezplatn, s tm, e a mladk skon studia a vyhraje svj
prvn spor, zaplat Pr6tagorovi koln. k s touto podmnkou souhlasil. Poslze ukonil studia, ale do advoktn
praxe se nepoutl. Uplynul njak as, a Pr6tagors ka
o penze zaaloval.
Prtagors uvaoval takto: Jestlie mj k n spor
prohraje, pak podle rozsudku mi bude muset zaplatit (o to
prv v naem sporu jde). Jestlie spor vyhraje, pak to
bude prvn spor, co vyhrl, a tak mi bude muset zaplatit
podle na dohody. Take a tak nebo tak, mus mi zaplatit.
Jablko vak nepadlo daleko od stromu a k se od svho uitele mnohmu piuil. Uvaoval takto: Jestlie tento
spor vyhraji, pak podle rozsudku nebudu muset nic platit.
Jestlie prohraji, tak jsem dosud dn spor nevyhrl,
a podle na dohody nemusm jet nic platit. Take a tak,
nebo tak, nemusm nic platit.
Kdo ml pravdu?
Nejsem si jist, znm-li skuten sprvnou odpov na
tuto otzku. Tahle hdanka stejn jako prvn hdanka
v na knce (o vyveden aprlem) jsou typickmi zstupci
cel tdy paradox. Nejlep een, kter znm, pochz
od jednoho prvnka: Soud by ml spor rozhodnout ve
prospch toho ka - k skuten neml co platit, protoe dosud nevyhrl svj prvn spor. Teprve po skonen
len by pak student dluil Pr6tagorovi penze, take Pr6.
tagors by pak ml ka zaalovat jet jednou. Tentokrt
by ml soud rozhodnout ve prospch Pr6tagorv, protoe
student pedtm vyhrl svj prvn spor.
eckho uitele
188
lhsk
je ten npis pravdiv, nebo nepravdiv? jestlie je nepravdiv, potom je pravdiv, a jestlie je pravdiv, pak je
nepravdiv.
Koment k tomuto paradoxu uvedeme pozdji.
254. Dvojit lhsk paradox.
Tuhle verzi lhskho paradoxu vymyslel anglick matematik P. E. B. jourdain v roce 1913. Nkdy se ji proto
189
kv [ourdainv
paradox. Na paprov
kartice
je z jed-
n strany napsno:
(1) NPIS NA DRUH STRAN~
JE PRAVDIV
Kdy
kartiku
obrtte, tete:
(2) NPIS NA DRUH STRAN~
JE NEPRAVDIV
vrok:
Vrok (1) je zejm pravdiv, a vrok (2) je zejm nepravdiv. Problematick je a vrok (3). Jestlie je (3)
pravdiv, potom jsou v rmeku dva pravdiv vroky, toti (3) a (1), co nesouhlas s (3), a tak je (3) nepravdiv.
Na druh stran jestlie (3) je nepravdiv, potom (1) je
190
kdy km, e vznam toho, e vrok X je pravdiv, zvis na vznamu vroku X samho. Pokud je vak X takov,
e jeho vznam zvis na tom, co to znamen, e X je
pravdiv, mme tu bludn kruh.
A to je prv ppad vroku v poslednm rmeku.
Abych rozuml, co to znamen, e je ten vrok pravdiv,
musm nejprve rozumt vroku samotnmu. Jak je tedy
smysl naeho vroku, co vlastn tvrd? Jen to, e n vrok je pravdiv, my vak jet nevme, co to znamen.
Zkrtka nemohu porozumt, co to znamen, e n vrok
je pravdiv (nejde o to, je-li pravdiv nebo ne), kdy jet
neznm vznam naeho vroku, ale vznam naeho vroku nemohu poznat, kdy nevm, co to znamen, e je pravdiv. Vrok tedy nedv vbec dnou informaci. Takovm vrokm budeme kat nepodloen vroky.
Lhsk paradox se vemi variantami je zaloen prv
na nepodloench vrocch. Tak v paradoxu 253 je nepodloen vrok "Tento npis je nepravdiv". V paradoxu
254 jsou na obou stranch kartiky nepodloen vroky.
V paradoxu 255 jsou prvn dva vroky podloen, tet je
vak nepodloen.
Te u vidme jasnji, pro selhaly vahy npadnka
Porcie Nt (viz 5 kapitola o Porciinch skkch). Vechny pedel Porcie uvaly vrok dn podloench,
ale Porcie Nt byla mrka a uvala nepodloench vrok, aby svho npadnka pokdlila, Stejn pes je zakopn
i v nkolika dkazech na zatku minul kapitoly.
oben. "
B. Od paradoxu k pravd
Kdosi kdysi definoval paradox jako pravdu stojc na
Je to opravdu tak, e nejeden paradox obsahuje
mylenku, kter, kdy se trochu pozmn, vede k zvanmu novmu objevu. Na dalch tech hdankch to pkn
uvidme.
hlav.
uvdomil,
to
piel?
Rozlutn
Jde vlastn o holiv paradox v novm pevleku. Piedpokldejme, e Tchmuchallovo povdn bylo pravdiv.
Klub sdruujc vechny nekonvenn obany se po nkom
jmenuje - eknme po [ackovi; tomu klubu budeme kat
Jackv klub. Jack je bu konvenn, nebo nekonvenn,
a v obou ppadech dojdeme k rozporu. Pedpokldejme,
e Jack je konvenn. Pak je v Jackov klubu, jenome
Jackv klub sdruuje pouze nekonvenn obany, take to
nen mon. Naopak jestlie Jack je nekonvenn, potom je
lenem klubu nekonvennch oban, a to znamen, e je
lenem Jackova klubu, co in z Jacka lovka konven
nho. Takte a to vezmeme z kterhokoliv konce, dojdeme
k rozporu.
261. Je v obci peh?
Inspektor Fishtrawn zavtal do jin obce a tam se informoval u svho dvnho ptele, mstnho sociologa Sleedilla. Studovali spolu v Oxfordu a Fishtrawn znal Sleedilla
jako lovka neomylnho sudku. Sleedill mu podal sociologick pehled o obci:
195
Rozlutni
198
A. Gdelovsk ostrovy
Hdanky v tomto oddle jsou zaloeny na proslulm
principu, kter objevil rakousk matematik a logik Kurt
Gdel.") Vysvtlime si ho na konci kapitoly.
264. Ostrov G.
Na jistm ostrov G iji pouze poctivci, kte vdy mluv pravdu, a padoui, kte vdy lou. Nkte poctivci se
vypracovali mezi tzv. elitni poctivce (to jsou ti obzvl
zaslouili), podobn jsou tu elitni padoui. Ostrov,an se
sdruuji do rznch klub, pitom mohou bt i v nkolika
klubech souasn. Klubov ivot na ostrov G spluje ty
i podminky:
(E.) Elitni poctivci tvoi klub.
(E2 ) Elitni padoui tvoi klub.
(D) Pro kad klub K plat, e ti ostrovan, ktei
nejsou v klubu K, tvoi klub. (Tento klub se
nazv doplnk klubu K a oznauje se K'.)
(G) Ke kadmu klubu K existuje alespo jeden
lovk, kter o sob prohlauje, e je lenem
klubu K. (Jeho tvrzeni nemusi bt pravdiv,
me to bt i padouch.)
264 a. (1) Dokate, e na
elitni poctivec.
(2) Dokate, e na
elitni padouch.
264 b, (1)
(2)
Tvoi
Tvoi
ostrov
G ije
aspo
jeden ne-
ostrov
G ije
aspo
jeden ne-
padoui klub?
poctivci klub?
199
Rozlutni
200
Rozlutnf
B. Dvojit
gdelovsk
ostrovy
Rozlutni
ci
Nejprve si poradme s (b). Pedpokldejme, e by poctivtvoili klub a e tak padoui by. tvoili klub. Pak by
204
205
C. Gdelova
vta
206
nepravdiv. Nkter z pravdivch tvrzen pipadaj loJikovi tak samozejm, e je vzal za aximy sv logick
soustavy. Tato soustava obsahuje i jist pravidla uvaovn, kter logikovi umouj z axim dokazovat pravdiv
a vyvracet nepravdiv tvrzen. Logik si je jist, e jeho soustava je bezesporn v tom smyslu, e kad tvrzen, kter
se d v jeho soustav dokzat, je skuten pravdiv, a e
kad tvrzen, kter se v jeho soustav d vyvrtit, je nepravdiv.
Logik si vak nen jist, je-li jeho soustava pln v tom
smyslu, e vechna pravdiv tvrzen jsou dokazateln, a e
vechna nepravdiv tvrzen jsou vyvratiteln v jeho soustav. To by rd zjistil.
Logik m jet jednu knku a na jejich deskch je npis
Kniha mnoin.") V tto knize jsou strnky tak prbn
oslovny a na kad strnce je popsna njak mnoina
sel. (slem rozumme pirozen slo.) Kad mnoin
sel popsan v Knize mnoin budeme kat zapsan mnoina.
Me se stt, e mnoina zapsan na strnce n Knihy
mnoin obsahuje slo n: potom ekneme, e n je vznamn slo. ekneme jet, e slo h je ukazatelem sla n,
kdy na strnce h Knihy tvrzen stoj tvrzen, e n je vznamn slo.
Logik v, e jeho soustava spluje tyi podmnky:
(E.) Mnoina vech sel dokazatelnch tvrzen je zapsan.
(E2 ) Mnoina vech sel vyvratitelnch tvrzen je zapsan
(D) Pro kadou zapsanou mnoinu A plat, e mnoina
A' vech sel, kter nele v A, je zapsan.
(H) Ke kad zapsan mnoin A existuje takov zapsan mnoina B, e kad slo lec v B m ukazatele lecho v A a kad slo nelect v B m
ukazatele nelecho v A.
Splnn tchto ty podmnek umouje odpovdt na
*) Pozn. pekl. S touto knihou jsme se ji setkali v hdance 263.
207
logikovy otzky: Je kad pravdiv tvrzen v jeho soustav dokazateln? Je kad nepravdiv tvrzen v jeho soustav vyvratiteln? Tak meme urit, je-li mnoina
vech sel pravdivch tvrzen zapsan a je-li mnoina
vech nepravdivch tvrzen zapsan.
Nejde toti vlastn o nic jinho ne o gdelovsk ostrovy z oddlu A v jinm pevleku. sla pravdivch tvrzen
zde odpovdaj poctivcm, sla nepravdivch tvrzen padouchm, sla dokazatelnch tvrzen elitnm poctivcm,
sla vyvratitelnch tvrzen elitnm padouchm a zapsan
mnoiny klubm. Skutenost, e mnoina obsahuje slo
strnky, na kter je zapsna, odpovd skutenosti, e klub
m za lena obana, po nm je klub pojmenovn. vznamn sla tedy odpovdaj konvennm obanm a ukazatel odpovd kmotrovi.
Nejprve dokeme, e je splnna podmnka analogick
podmnce (G) z hdanky 264:
(G) Ke kad zapsan mnoin A existuje tvrzen, kter
je pravdiv, prv kdy jeho slo le v A.
Uvaujme libovolnou zapsanou mnoinu A a mnoinu B,
kter k n pslu podle podmnky (H). slo strnky, na
kter je zapsna mnoina B, ozname n. Podle podmnky
(H) plat, e pokud n le v B, m ukazatel h lec v A,
a pokud n nele v B, m ukazatel h nelec v A.
Hledan tvrzen je uvedeno v Knize tvrzen na strnce
h. Toto tvrzen X k, e n je vznamn slo, jinmi slovy, e n le v B (8 je mnoina zapsan na strnce n Knihy
mnoin). Pokud je X pravdiv, pak n skuten le v B,
take h le v A. Pokud je X nepravdiv, pak n nele v B,
take h nele v A. A tak X je pravdiv, prv kdy jeho
slo le v A.
Dokzali jsme, e logikova soustava spluje podmnku
(G), a te u snadno odpovme na jeho otzky. Vme, e
mnoina A vech sel dokazatelnch tvrzen je zapsan,
a podle podmnky (D) je i mnoina A' vech sel, kter
nejsou sly dokazatelnch tvrzen, zapsan. Podle podmnky (G) tedy existuje tvrzen X, kter je pravdiv, prv
kdy jeho slo le v A'. Jenome v A' le prv ta sla,
208
n.
pekl.
210
pirozen pedpoklady.
si paradox
TOTO TVRZENI NELZE DOKAzAT
u nen vbec paradoxn, je vak pece jen velice zajmav. Co je na nm zajmavho? lnu je to pravdiv tvrze211
Jet dodm nco o dvojit gdelovsk podmnce, kterou jsme zkoumali v oddle B. Gdelv vsledek toti plat
nejen pro gdelovsk soustavy (tj. v nich ke kad definovateln mnoin A existuje tvrzen, kter je pravdiv,
prv kdy jeho Gdelovo slo le v A), ale i pro soustavy, kterm kme dvojit gdelovsk (v tch ke kadm
dvma definovatelnm mnoinm A, B existuj takov dv
tvrzen X, Y, e X je pravdiv, prv kdy Gdelovo slo
Y le v A, a Y je pravdiv, prv kdy Gdelovo slo X
le v B).
Ve dvojit gdelovsk soustav meme s pomoc podmnek (E), (E2 ) a (D) sestrojit takovou dvojici tvrzen X,
Y, e X tvrd, e Y je dokazateln (tm mnm, e X je
pravdiv, prv kdy Y je dokazateln), a Y tvrd, e X
nen dokazateln. Jedno z nich (nevme kter) pak mus
bt pravdiv a nedokazateln.
Meme tak sestrojit takovou dvojici X, Y, e X tvrd,
e Y je vyvratiteln a Y tvrd, e X nen vyvratiteln.
Odtud pak plyne, e aspo jedno z nich (nevme kter) je
nepravdiv a nevyvratiteln.
Dal monost dokonce nevyuv podmnku (D). Sestrojme takovou dvojici X, Y, e X tvrd, e Y je dokazateln a Y tvrd, e X je vyvratiteln. Jedno z nich (nevme
kter) je pak bu pravdiv a nedokazateln, nebo nepravdiv a nevyvratiteln (nevme, kter monost nastane).
Obsah
I. LOGICK
KRATOCHVLE
13
17
27
40
55
68
80
92
109
125
136
143
163
177
188
199
RAYMOND M. SMULLYAN
JAK SE JMENUJE TAHLE KNKA?
Z anglickho originlu What is the Name of this Book
vydanho nakladatelstvm Prentice-Hall, Inc.,
Englewood Cliffs, New Jersey, peloili Hanu Karlach a Antonin Vrba.
Odbornou revizi provedl RNDr. Milan tdr, CSc.
Pebal, vazbu a grafickou pravu navrhl
a ilustroval Karel Aubrecht.
Vydala Mlad fronta, nakladatelstvi V SSM,
jako svou 4802. publikaci. Mimo edice.
Odpovdn redaktorka Boena Pravdov.
Vtvarn redaktor Ji Svoboda.
Technick redaktorka Jana Vysok.
Vytiskl Mr, novinsk zvody, n. p.,
zvod 3, Opletalova 3, Praha 1.
9,38 AA. 10,32 VA. 216 stran.
Nklad 45 000 vtisk. 605/22/85.6
Vydni 1. Praha 1986.
23-050-86
13/54