(p2-9) ¬¬P∧Q と (p2-8) ¬(¬¬P∧Q) の真偽表(推論)

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

目次に戻る