(P2-8) P⇒￢Q および Q⇒￢P と (P2-15) ￢P⇒Q および ￢Q⇒P の真偽表(推論)

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

├目次に戻る