￢(￢P∧￢Q) [または (OR)] の真偽表(推論)

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

・￢(￢P∧￢Q)をP∨Qと表す。


├目次に戻る