จากประพจน์ 'ถ้าฝนตก แล้วถนนจะเปียก' หากเรารู้ว่า 'ถนนไม่เปียก' ข้อใดต้องเป็นจริง

เฉลยอธิบาย

ใช้กฎของ modus tollens: ถ้า p → q เป็นจริง และ q เป็นเท็จ แล้ว p ต้องเป็นเท็จ ประพจน์ 'ถ้าฝนตก แล้วถนนจะเปียก' เป็นจริง ข้อมูลใหม่ 'ถนนไม่เปียก' (ข้อเด็นหลัง = เท็จ) ดังนั้น 'ฝนไม่ตก' (ข้อเด็นหน้า = เท็จ) ตัวเลือก A ผิด เพราะสรุปโดยตัวต่อเต้อ ตัวเลือก C ขัดแย้งกับข้อมูล ตัวเลือก D ผิด เพราะสามารถสรุปได้