หากประพจน์ P เป็นจริง และประพจน์ (P → Q) เป็นจริง แล้ว Q จะเป็นจริงหรือเท็จตามกฎของตรรกศาสตร์
กQ อาจเป็นจริงหรือเท็จได้ทั้งสองกรณี
ขQ ต้องเป็นจริง
คQ ต้องเป็นเท็จตามการหักเงื่อนไข
งไม่สามารถทราบค่าความจริงของ Q ได้จากข้อมูล
เฉลยอธิบาย
จากกฎ Modus Ponens: ถ้า P จริง และ (P → Q) จริง แล้ว Q จะต้องจริง เพราะหาก Q เป็นเท็จ และ P จริง แล้ว (P → Q) จะเป็นเท็จ ซึ่งขัดแย้งกับสมมติฐาน ดังนั้น Q จึงต้องเป็นจริง