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

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

├目次に戻る