영어: '''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]]

Twin:
[[WpKo:후건_부정]]
https://everything2.com/title/Modus+Tollens