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

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

├目次に戻る