P⇒Q と Q⇒P [逆(CONVERSE)]、 ￢P⇒￢Q [裏(INVERSE)]、 ￢Q⇒￢P [対偶(CONTRAPOSITIVE)] の真偽表(推論)

 P  Q   ￢P  ￢Q   P⇒Q  Q⇒P   ￢P⇒￢Q  ￢Q⇒￢P 
 ○  ○   ×  ×   ○  ○   ○  ○ 
 ○  ×   ×  ○   ×  ○   ○  × 
 ×  ○   ○  ×   ○  ×   ×  ○ 
 ×  ×   ○  ○   ○  ○   ○  ○ 

・逆と裏は必ずしも真ならず。
・対偶の真偽は必ず一致する。


├目次に戻る