Modus Tollens

Modus Tollens


Transformation rules
Propositional calculus

Rules of inference
Modus ponens
Modus tollens
Biconditional introduction
Biconditional elimination
Conjunction introduction
Simplification
Disjunction introduction
Disjunction elimination
Disjunctive syllogism
Hypothetical syllogism
Constructive dilemma
Destructive dilemma
Absorption

Rules of replacement

Associativity
Commutativity
Distributivity
Double negation
De Morgan's laws
Transposition
Material implication
Exportation
Tautology
Predicate logic
Universal generalization
Universal instantiation
Existential generalization
Existential instantiation

In propositional logic, modus tollens (or modus tollendo tollens and also denying the consequent) (Latin for "the way that denies by denying") is a valid argument form and rule of inference.

It is the inference that

  1. if implies, and the second premise, is false,
  2. then it can be logically concluded that must be false.

Modus tollens is closely related to another valid form of argument, modus ponens. There are also similar, but invalid, arguments such as affirming the consequent and denying the antecedent.

The modus tollens rule can be stated formally as:

Where means "P implies Q", means Q is false (not Q). The modus tollens rule, then, is that wherever both "" and "" appear by themselves on a line of a proof, then "" can validly be placed on a subsequent line.

Read more about Modus TollensFormal Notation, Explanation, Relation To modus Ponens, Justification Via Truth Table, Formal Proof