ในทางตรรกศาสตร์ ประพจน์กลับแย้ง (Contrapositive) ของ 'ถ้าฝนตก แล้วถนนเปียก' คือข้อใด
กถ้าถนนเปียก แล้วฝนตก
ขถ้าถนนไม่เปียก แล้วฝนไม่ตก
คถ้าฝนตก แล้วถนนไม่เปียก
งถ้าฝนไม่ตก แล้วถนนไม่เปียก
เฉลยอธิบาย
ประพจน์กลับแย้ง (Contrapositive) ของ 'ถ้า p แล้ว q' คือ 'ถ้า ¬q แล้ว ¬p' ซึ่งมีค่าความจริงเหมือนกับประพจน์เดิมเสมอ ดังนั้น Contrapositive ของ 'ถ้าฝนตก แล้วถนนเปียก' คือ 'ถ้าถนนไม่เปียก แล้วฝนไม่ตก' ส่วน A คือประพจน์กลับ (Converse) B คือประพจน์แย้ง (Inverse) และ D ไม่ใช่รูปแบบมาตรฐาน