후건부정,modus_tollens

영어: denying the consequent
라틴어: modus tollens

결론의 부정으로부터 전제의 부정을 유도하는 추론 규칙

후건,consequent

￢Q, P→Q ⊢ ￢P

만약 P라면, Q이다. 그런데 Q가 아니다. 따라서 P가 아니다.

추론 형식:

$\frac{P\to Q\;\neg Q}{\neg P}$

또는

$P\to Q,\neg Q \vdash \neg P$

Compare:
{
전건긍정,modus_ponens curr. goto 전건,antecedent

denying the consequent = 후건부정
denying the antecedent : logical_fallacy. invalid_argument. - https://everything2.com/title/Denying the Antecedent

}

Twin:

후건_부정
https://everything2.com/title/Modus Tollens
https://everything2.com/title/Denying the consequent