仮定と結論を否定した命題を、もとの命題の裏といいます。仮定と結論の逆を否定した命題を、もとの命題の対偶といいます。必要条件であるというお話をしました。命題「パンダは動物である」は真であり、その逆は「動物はパンダである」になります。動物には犬や猫など様々な種類がありますので、動物だからといってパンダとは限らないことから、逆は偽になります。このようにもとの命題と逆の真偽は一致するとは限りません。対偶の真偽はもとの命題の真偽と一致する。