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

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

・￢Q⇒￢P は P⇒Q の[対偶(CONTRAPOSITIVE)]。


├目次に戻る