逆・裏・対偶

http://www.geisya.or.jp/~mwm48961/kou3/gyaku.htm

・ある命題　「p →　q」 ( p ならば q ) が真（正しい）のとき，その対偶 は真（正しい）であるが，逆や裏は必ずしも真（正しい）とは限らない．
・ある命題　「p →　q」 ( p ならば q ) とその対偶とは真偽が一致するので，対偶の真偽を示せば元の命題の真偽が示せる．