มือดีขโมยคุกกี้

คำถามจาก https://brilliant.org/

กำลังอยู่ในช่วงฝึก IQ เตรียมสอบครับ พยายามทำข้อสอบพวกนี้บ่อยๆ แล้วก็พยายามอธิบายให้เป็นขั้นเป็นตอนเพื่อให้ความคิดชัดเจนขึ้น อันนี้เป็นตรรกะที่ในเว็บเรียกว่าเป็นหมวด Computer Science ครับ (ตรรกศาสตร์)

Who stole the Cookie?

 เรื่องมีอยู่ว่า ในโถมีคุกกี้อยู่ 19 ชิ้น แต่มีชิ้นนึงที่หายไป.

มาช่า : "นิกกี้ขโมยไปค่ะ"

ร็อบ : "ผมเอาไปเองครับ"

นิกกี้ : "ผมไม่ได้เอาไปนะ"

ถ้ากำหนดให้มีหนึ่งคนที่พูดความจริง ข้อใดต่อไปนี้เป็นความจริงเสมอ

1. มาช่าขโมยคุกกี้

2. นิกกี้ขโมยคุกกี้

3. ร็อบขโมยคุกกี้

4. ร็อบไม่ได้ขโมยคุกกี้

    เฉลย: ตอบ 4.

กำหนดให้มี statement ดังนี้
M = มาช่าขโมยคุกกี้
N = นิกกี้ขโมยคุกกี้
R = ร็อบขโมยคุกกี้

premise มีดังนี้
N, ~N, R  และมี 1 ข้อที่มีค่าเป็นจริง
เนื่องจาก N และ ~N มีค่าตรงข้ามกัน จึงทำให้มี 1 ค่าที่เป็นจริงแน่นอน และ R เป็นเท็จแน่นอน

 ∵ choice 4 ข้อ, M, N, R และ ~R พบว่าเราทราบค่าว่า R เป็นเท็จ

∴ ~R จึงมีค่าเป็นจริงแน่นอน