กำหนดให้มีสามข้อความ: (1) ถ้า A → B (2) ถ้า B → C (3) ไม่ใช่ C (¬C) จากสามข้อความนี้ สามารถสรุปอะไรได้บ้างโดยใช้ตรรกศาสตร์ที่ถูกต้อง
กA เป็นจริง โดยใช้ Modus Ponens สองครั้ง
ขไม่สามารถสรุปอะไรได้เพราะข้อมูลไม่เพียงพอ
คB เป็นจริง เพราะ A และ B เชื่อมกัน
งไม่ใช่ A (¬A) โดยใช้ Modus Tollens สองครั้งผ่าน ¬C → ¬B และ ¬B → ¬A
เฉลยอธิบาย
จากข้อ (2) B → C และใช้ Modus Tollens กับ ¬C จากข้อ (3) ได้ว่า ¬B (ถ้า B → C และ ¬C แล้ว ¬B) จากนั้นนำ ¬B ไปใช้ Modus Tollens กับข้อ (1) A → B ได้ว่า ¬A (ถ้า A → B และ ¬B แล้ว ¬A) ดังนั้น ¬A ตัวเลือก A ผิดเพราะ Modus Ponens ต้องการการยืนยันสมมติฐาน ไม่ใช่การปฏิเสธผลสรุป ตัวเลือก C ผิดเพราะจากข้อ (3) ¬C ¬B ไม่ใช่ B จริง ตัวเลือก D ผิดเพราะข้อมูลเพียงพอในการสรุป