¬(p2-13) と p2-4 の真偽表(推論)

 IN  OUT 
 P  Q   p2-13  ¬(p2-13)   p2-4 
 ×  ×   ×  ○   ○ 
 ×  ○   ×  ○   ○ 
 ○  ×   ○  ×   × 
 ○  ○   ○  ×   × 

目次に戻る