ประพจน์ 'ถ้า A เป็นสมาชิกของเซต B แล้ว A ต้องมีคุณสมบัติ X' กับประพจน์ 'ถ้า A ไม่มีคุณสมบัติ X แล้ว A ไม่ใช่สมาชิกของเซต B' มีความสัมพันธ์กันเช่นไร

เฉลยอธิบาย

ประพจน์ที่สองเป็นรูป Contrapositive ของประพจน์แรก ตาม Contrapositive Law หากประพจน์เงื่อนไข (p → q) เป็นจริง แล้วประพจน์ (¬q → ¬p) ก็ต้องเป็นจริงและมีความสมมูลกันเสมอ ที่นี่ p = 'A เป็นสมาชิกของเซต B' และ q = 'A มีคุณสมบัติ X' ดังนั้นประพจน์ทั้งสองมีความหมายเดียวกันอย่างสมบูรณ์