Otok levičarjev in desničarjev
Nekje leži majhen otok, na katerem živijo ljudje dveh vrst, levičarji in desničarji. Za komuniciranje
med otočani velja naslednje pravilo: če neka oseba izreče drugi osebi neko
izjavo, potem je ta izjava resnična natanko tedaj, kadar sta osebi iste vrste, to je iz istega
plemena.
Na otoku je veljal zakon, da se lahko poročijo le osebe iste vrste (tipa). To je namreč
zagotovilo, da se ohranja dominanca ene roke.
V naslednjih primerih bomo otočane označevali A, B, C... V vsakem primeru so to v
splošnem drugi ljudje kot v predhodnem.
a) Nekoč sta A in B (ki sta različnega spola) prišla pred matičarja. Ta je dejal pomočniku:
"Med nami je sodo število levičarjev."
Ali A in B izpolnjujeta zakonski pogoj za poroko (kar pomeni, da sta iste vrste)?
Odgovor:
b) Nekoč je matičar dejal pomočniku: "A je levičar." Potem je pomočnik odvrnil
matičarju: "B je levičar."
Ali A in B izpolnjujeta zakonski pogoj za poroko?
Odgovor:
c) Nekoč je matičar dejal pomočniku: "A je levičar." Nato mu je pomočnik odvrnil:
"A in B sta oba levičarja."
Ali A in B izpolnjujeta zakonski pogoj za poroko?
Odgovor:
d) Nekoč je matičar dejal pomočniku, da A in B izpolnjujeta zakonski pogoj za poroko,
to je, da sta iz istega plemena. Nato je A vprašal B-ja, ali sta matičar in pomočnik
oba levičarja. Odgovor je bil ali "da" ali "ne" in logik je lahko sklepal, ali se A in B
lahko poročita.
Ali A in B izpolnjujeta zakonski pogoj za poroko?
Odgovor: