ถ้า P และ Q เป็นข้อความที่มีค่าความจริง โดยที่ P → Q เป็นจริง และ Q เป็นเท็จ ข้อสรุปใดต่อไปนี้ถูกต้องตามหลักตรรกศาสตร์
กP เป็นเท็จ เพราะถ้าเหตุจริงแล้วผลต้องจริง เมื่อผลเท็จจึงเหตุเท็จ
ขP เป็นจริง เพราะค่าความจริงของ P ไม่ขึ้นอยู่กับค่าความจริงของ Q
คP → Q เป็นเท็จ เพราะเมื่อ Q เป็นเท็จ ประพจน์เงื่อนไขย่อมเป็นเท็จเสมอ
งไม่สามารถสรุปค่าความจริงของ P ได้ เพราะ P → Q จริงได้แม้ P จะเป็นจริงหรือเท็จก็ตาม
เฉลยอธิบาย
จาก P → Q จริง และ Q เป็นเท็จ โดยใช้กฎ Modus Tollens คือ [(P → Q) ∧ ¬Q] → ¬P สามารถ P เป็นเท็จ เพราะหาก P เป็นจริงและ P → Q เป็นจริง Q ต้องเป็นจริง แต่ Q เป็นเท็จ จึงขัดแย้ง ดังนั้น P ต้องเป็นเท็จ ตัวเลือก A ถูกต้อง