##  [Modus Tollens](/modus-tollens-1) 

 Definition

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

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

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

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

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

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

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

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

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.