■　逆・裏・対偶 【 このページの要約 】 ・ある命題　「p →　q」 ( p ならば q ) が真（正しい）のとき，その対偶 は真（正しい）であるが，逆や裏は必ずしも真（正しい）とは限らない． ・ある命題　「p →　q」 ( p ならば q ) とその対偶とは真偽が一致するので，対偶の真偽を示せば元の命題の真偽が示せる． ・逆の裏は対偶，裏の逆も対偶，逆の対偶は裏・・・などが成り立つ． ・ 命題 p → q には，集合の包含関係 P⊂Q が対応する． これを集合の要素で表わせば，「どんな x についても，x∈ P → x∈ Q 」になる． ・ P⊂Q　⇔ ⊂ だから，p → q ⇔ → が成り立つ．