A valid rule of inference that allows one to infer ¬A from premises A → B and ¬B; often stated as 'if A then B; not B; therefore not A.'

Principle

Contrapositive detachment: by using the contrapositive of a conditional, denial of the consequent justifies denial of the antecedent, yielding a sound indirect inference in classical and many non-classical logics.

Demonstration

From 'If the device is powered then the indicator lights' and the observation 'The indicator does not light', modus tollens permits concluding 'The device is not powered.'

Misapplication

Confusing modus tollens with denying the antecedent (inferring ¬B from ¬A) or applying it to conditionals that are not material implications (e.g., causal rules with exceptions) without checking contextual assumptions.

Consequence

Enables contrapositive and reductio-style proofs, supports falsification strategies in empirical reasoning, and complements modus ponens as a core pattern of logical deduction.

Reversal

The reversal is modus ponens (using A and A → B to infer B); unlike the mistaken inverse or converse moves, modus tollens is a valid use of negation and implication combined.

Boundary

Valid in classical logic and in many constructive systems where contrapositive reasoning about negation is permitted; may fail or require reformulation in certain paraconsistent or relevance logics depending on negation behavior.

Semantic Tension

Tension exists between the formal validity of modus tollens and intuitive causal or probabilistic interpretations where absence of an effect does not straightforwardly imply absence of a cause due to background noise or alternative causes.

Synthesis

Modus Tollens packages contrapositive reasoning into a practical detachment rule: by denying the consequent, one legitimately denies the antecedent within systems where implication and negation interact classically, while empirical settings demand attention to auxiliary assumptions.