(p2-9) ￢￢Q∧￢￢P と (p2-8) ￢(￢￢Q∧￢￢P) つまり ￢Q∨￢P もしくは ￢￢Q⇒￢P の真偽表(推論)

 P  Q   ￢P  ￢Q   ￢￢P  ￢￢Q   ￢￢Q∧￢￢P  ￢(￢￢Q∧￢￢P) 
 ￢Q∨￢P 
 ￢￢Q⇒￢P 
 ×  ×   ○  ○   ×  ×   ×  ○ 
 ×  ○   ○  ×   ×  ○   ×  ○ 
 ○  ×   ×  ○   ○  ×   ×  ○ 
 ○  ○   ×  ×   ○  ○   ○  × 

├目次に戻る