Modus ponens: if P → Q and P are true, then Q is true. Modus tollens: if P → Q and ¬Q are true, then ¬P is true. These two fundamental inference rules form the backbone of logical deduction in proofs and are among the most important valid argument forms.
Practice applying these rules in mathematical contexts. Verify their validity with truth tables. Compare with invalid forms (affirming the consequent, denying the antecedent).
You know what an implication P → Q means, and you know its contrapositive ¬Q → ¬P expresses the same logical content. The question these inference rules answer is: given that an implication holds, and given that you also know something additional about P or Q, what can you conclude? Modus ponens and modus tollens are the two canonical answers, and together they underlie nearly every deductive step in a mathematical proof.
Modus ponens (Latin: "the way that affirms") has the structure: (1) P → Q is true, (2) P is true, therefore (3) Q must be true. If you know "all differentiable functions are continuous" and you know "f is differentiable," you can conclude "f is continuous." The logic is airtight: the implication promises Q whenever P holds, P does hold, so Q must follow. In proofs, modus ponens is the basic forward step — you apply a theorem or rule whose hypothesis you have established, and you collect the conclusion.
Modus tollens (Latin: "the way that denies") runs the implication in reverse: (1) P → Q is true, (2) ¬Q is true, therefore (3) ¬P must be true. If you know "all differentiable functions are continuous" and you know "f is not continuous," you can conclude "f is not differentiable." Notice that modus tollens is simply modus ponens applied to the contrapositive: since P → Q is logically equivalent to ¬Q → ¬P, knowing ¬Q lets you apply modus ponens to reach ¬P. Modus tollens is the engine behind proof by contrapositive — instead of proving P → Q directly, you prove ¬Q → ¬P by modus tollens applied forwards.
The invalid forms to contrast are affirming the consequent (P → Q is true, Q is true, concluding P) and denying the antecedent (P → Q is true, ¬P is true, concluding ¬Q). Both are tempting but logically unsound. The implication P → Q only promises that Q follows from P; it says nothing about what happens when Q is true or when P is false independently. A function can be continuous without being differentiable, so continuity tells you nothing about differentiability. Keeping the valid rules distinct from the invalid forms is one of the central disciplines of rigorous logical reasoning.