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

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

目次に戻る