¬(p1-2) と p1-3 の真偽表(推論)

 IN  OUT 
 P  p1-2   ¬(p1-2)  p1-3 
 ×  ○   ×  × 
 ○  ×   ○  ○ 

目次に戻る