￢(p1-1) と (p1-4) の真偽表(推論)

 IN  OUT 
 P  (p1-1)   ￢(p1-1)  (p1-4) 
 ×  ×   ○  ○ 
 ○  ×   ○  ○ 

├目次に戻る