命題 「 p ⇒ q 」 に対して、 「 q ⇒ p 」を「p ⇒ q」 の逆と言い、 「pn ⇒ pn」を 「p ⇒ q」 の裏と言い、 「qn ⇒ pn」を「p ⇒ q」の対偶と言う。 例題−1 例題−2 例題−3 例題−4 例題−5 例題−6