(p1-3) ￢￢P [二重否定 (Double Negation)] と (p1-2) ￢￢￢P の真偽表(推論)

 IN  OUT 
 P  ￢P   ￢￢P  ￢￢￢P 
 ×  ○   ×  ○ 
 ○  ×   ○  × 

├目次に戻る