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

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

├目次に戻る