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

}

= tmp table =
||라틴어 이름    ||page                         ||은, ||[[전제,premise]]? ||[[결론,conclusion]]? ||
||modus tollens  ||'''후건부정,modus_tollens''' ||[[추론규칙,inference_rule]]임. ||$P\Rightarrow Q$ and $\neg Q$ ||$\neg P$  ||
||?              ||[[후건긍정]]                 ||logical_fallacy임.             || || ||
||modus ponens   ||[[전건긍정,modus_ponens]]    ||[[추론규칙,inference_rule]]임. ||$P$ and $P\Rightarrow Q$ ||$Q$ ||
||?              ||[[전건부정]]                 ||logical_fallacy임.             || || ||
----
Twin:

WtEn:modus_tollens

[[WpKo:후건_부정]]
https://everything2.com/title/Modus+Tollens
https://everything2.com/title/Denying+the+consequent
http://www.aistudy.com/logic/modus_tollens.htm - AKA '''부정식'''
https://mathworld.wolfram.com/ModusTollens.html
https://planetmath.org/modustollens

.... Ndict:"modus tollens"

Up:
[[추론규칙,inference_rule]]