Modus Tollens
Jump to navigation
Jump to search
Consider the rule of logic known as modus tollens, also known as denying the consequent. This rule states that If P, then Q. Not Q. Therefore, not P. Here is a simple example: If a shape is a triangle (P), then it has three sides (Q). The figure does not have three sides (not Q). Therefore it is not a triangle (not P).