The Modus Tollens Rule Explained
Description
A detailed tutorial on the modus tollens rule. Step by step tutorial including several example problems of the modus tollens rule for reference.
Overview
Modus tollendo tollens, often simply referred to as modus tollens, is an argument in logic that states if P, then Q. Negation of Q, therefore negation of P. This is sometimes called denying the consequent, and is often confused with the indirect proof of proving by contraposition. There are several forms that the modus tollens rule can take, depending on when and how you are using it.
Logical Operator Notation:
Basic Form:
With Assumptions:
Set Theory:
Predicate Logic:
