Latihan 1.
Anda menjumpai dua troll yang sedang bermain Stratego®. Mereka berkata kepada Anda:
Troll 1: Jika kami sepupu, maka kami berdua adalah penipu.Troll 2: Kami sepupu, atau kami berdua adalah penipu.
Mungkinkah kedua troll tersebut adalah kesatria? Ingatlah bahwa setiap troll adalah kesatria yang selalu berkata benar atau penipu yang selalu berbohong. Jelaskan jawaban Anda dan bagaimana tabel kebenaran dapat digunakan untuk menemukannya.
Petunjuk.
Anda mungkin dapat menalar setiap kasus secara langsung, tetapi cobalah membuat tabel kebenaran. Gunakan dua pernyataan: \(P\) menyatakan “kami sepupu” dan \(Q\) menyatakan “kami berdua adalah penipu”.