Linked from

The 12 pages that link to Modus tollens, each with the reason it gives.

• Rule of inferenceBroader topic: It shows how a rule can derive a negative conclusion from a conditional and its denied consequent.

• Modus ponensCompared with: It reasons backward from a denied consequent, unlike modus ponens.

• Stoic logicBroader topic: It exemplifies a basic Stoic route from a conditional premise to a conclusion.

• Conditional proofCompared with: It reasons from a conditional’s failure case instead of deriving a consequent under an assumption.

• Logical validityBroader topic: Its validity can be checked by ruling out a true-premise, false-conclusion case.

• Material conditionalRelated: The conditional’s truth conditions make this inference valid.

• Affirming the consequentRelated: It uses the same conditional without mistaking Q for evidence sufficient to establish P.

• Critical rationalismRelated: It formalizes how a failed prediction can count against a theory, given its auxiliary assumptions.

• Formal fallacyCompared with: It is valid while denying the antecedent is not, despite their superficially similar forms.

• Constructive dilemmaRelated: It is a foundational conditional rule that helps distinguish constructive from destructive forms.

• Consequentia mirabilisCompared with: It reverses the conditional direction used in the principle's familiar formulation.

• Modus ponendo tollensCompared with: Despite the similar name, it reasons from a conditional, not an exclusive disjunction.