(p1-3) ￢￢P∧P と (p1-2) ￢(￢￢P∧P) の真偽表(推論)

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

├目次に戻る