【このページは現在作成中です】
真か偽のどちらかに定まっている文を命題という.
ここでは命題として p⇒q(pであるならばqである)を考える.
命題 p⇒q の裏は, (pでないならばqでない) 命題 p⇒q の逆は, (qであるならばpである)
p⇒qの裏の逆 をp⇒qの対偶という.