(p2-3) ¬P∧Q と (p2-14) ¬(¬P∧Q) の真偽表(推論)

 P  Q   ¬P  ¬P∧Q   ¬(¬P∧Q) 
 ×  ×   ○  ×   ○ 
 ×  ○   ○  ○   × 
 ○  ×   ×  ×   ○ 
 ○  ○   ×  ×   ○ 

目次に戻る