¬(p2-5) と p2-12 の真偽表(推論)

 IN  OUT 
 P  Q   p2-5  ¬(p2-5)   p2-12 
 ×  ×   ×  ○   ○ 
 ×  ○   ×  ○   ○ 
 ○  ×   ○  ×   × 
 ○  ○   ×  ○   ○ 

目次に戻る