逆・裏・対偶

命題「p→q」に対して「q→p」を「p→q」の逆
「p￣→q￣」を「p→q」の裏
「q￣→p￣」を「p→q」の対偶といいます。

■命題「x=5→x2=25」の逆・裏・対偶

命題「x=5→x2=25」は5^=25なので真
逆「x2=25→x=5」はx＝±5なので偽
裏「x≠5→x2≠25」はx＝±5なので偽
対偶「x2≠25→x≠5」は真