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

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

├目次に戻る