高校数学の質問スレPart402

>>991
A→B ⇔ ¬A∨B
であって
¬B→¬A⇔B∨¬A
だから
A→B
⇔
¬B→¬A

これが対偶ですね