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

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

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


├目次に戻る