(p2-5) ￢￢P∧￢Q と (p2-12) ￢(￢￢P∧￢Q) つまり ￢P∨Q もしくは ￢￢P⇒Q と (p2-5) ￢￢(￢￢P∧￢Q) つまり ￢(￢P∨Q) もしくは ￢(￢￢P⇒Q) の真偽表(推論)

 IN  OUT 
 P  Q   ￢P  ￢Q   ￢￢P  ￢￢P∧￢Q   ￢(￢￢P∧￢Q) 
 ￢P∨Q 
 ￢￢P⇒Q 		 ￢￢(￢￢P∧￢Q) 
 ￢(￢P∨Q) 
 ￢(￢￢P⇒Q) 
 ×  ×   ○  ○   ×  ×   ○  × 
 ×  ○   ○  ×   ×  ×   ○  × 
 ○  ×   ×  ○   ○  ○   ×  ○ 
 ○  ○   ×  ×   ○  ×   ○  × 

├目次に戻る