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

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

目次に戻る