P⇒Q と ¬P⇒¬Q [裏(INVERSE)] の真偽表(推論)

 P  Q   ¬P  ¬Q   P⇒Q  ¬P⇒¬Q 
 ○  ○   ×  ×   ○  ○ 
 ○  ×   ×  ○   ×  ○ 
 ×  ○   ○  ×   ○  × 
 ×  ×   ○  ○   ○  ○ 

・裏の真偽は必ずしも一致せず。


目次に戻る