Adam, Bořek a Cecil se hádají o to, kdo má pravdu. My ovšem nevíme, kdo z nich má pravdu a kdo lže. Uvažujme i možnost, že pravdu mají všichni nebo že všichni lžou.
- Adam: „Bořek lže, nebo lže Cecil!“
- Bořek: „Adam i Cecil lžou!“
- Cecil: „Rozhodně nemluvíme pravdu všichni!“
Které z následujících možností je pak určitě pravdivá?
Správná odpověď je: C
O Cecilovi určitě víme, že mluví pravdu. Kdyby lhal, tak by dle negace svého tvrzení totiž musel mít i zároveň pravdu. Bořek tak musí lhát, protože jeho tvrzení, že Cecil lže, není pravdivé. Z již získaných informací lze odvodit, že Adam nemůže lhát. Kdyby lhal, muselo by platit, že Bořek i Cecil mluví pravdu. Víme však, že Bořek lže.
| Výroky | Negace |
Adam | B(L) ∨ C(L) | B(P) ∧ C(P) |
Bořek | A(L) ∧ C(L) | A(P) ∨ C(P) |
Cecil | Alespoň někdo lže. | A(P) ∧ B(P) ∧ C(P) |
Napsat komentář
Pro přidávání komentářů se musíte nejdříve přihlásit.