ถ้ากำหนดว่า 'ถ้า P แล้ว Q' หากเรารู้ว่า 'Q ไม่เป็นจริง' เราสามารถสรุปอะไรเกี่ยวกับ P ได้
กP ไม่เป็นจริง (Modus Tollens) เพราะหาก P เป็นจริง ก็จะตามมาว่า Q เป็นจริง แต่ Q ไม่เป็นจริง
ขP ต้องเป็นจริง เพราะนี่คือคุณสมบัติของตรรกะเชิงคณิตศาสตร์
คไม่สามารถสรุปอะไรเกี่ยวกับ P ได้ เพราะมีความเป็นไปได้หลายอย่าง
งQ เป็นสาเหตุของ P ไม่ใช่ P เป็นสาเหตุของ Q
เฉลยอธิบาย
นี่เป็นการใช้กฎตรรกะที่เรียกว่า Modus Tollens ถ้า P → Q (ถ้า P แล้ว Q) และเรารู้ว่า ¬Q (Q ไม่เป็นจริง) ก็สามารถสรุปว่า ¬P (P ไม่เป็นจริง) ตัวอย่าง: 'ถ้าฝนตกแล้วพื้นจะเปียก' 'พื้นไม่เปียก' → 'ฝนไม่ตก' ตัวเลือก B เป็นการสรุปที่ตรงกันข้าม ตัวเลือก C ไม่ถูกต้อง เพราะมีกฎตรรกะที่ชัดเจน ตัวเลือก D สับสนระหว่างสาเหตุและผล