กำหนดให้ 'ถ้าฝนตก แล้วถนนเปียก' และ 'ถนนเปียก' เราสามารถสรุปว่า 'ฝนตก' ได้หรือไม่ เพราะเหตุใด

เฉลยอธิบาย

การสรุปว่า 'ฝนตก' จากการที่ 'ถนนเปียก' เป็นความผิดพลาดทางตรรกะที่เรียกว่า 'การยืนยันผลสรุป' (Affirming the Consequent) เพราะถนนอาจเปียกจากสาเหตุอื่นได้ เช่น รถดับเพลิงฉีดน้ำ หรือคนล้างถนน รูปแบบที่ถูกต้องคือ Modus Ponens (ถ้า P→Q และ P จริง แล้ว Q จริง) และ Modus Tollens (ถ้า P→Q และ Q เท็จ แล้ว P เท็จ) ตัวเลือก A ผิดเพราะถนนเปียกมีสาเหตุอื่นได้ ตัวเลือก B ผิดเพราะ Modus Ponens ใช้กับการยืนยันเหตุ ไม่ใช่ยืนยันผล