Úloha ID 1610 - 
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.
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ář