Modus tollens

From AMS Glossary
Jump to: navigation, search


modus tollens

(Latin for denial mode.) An inference rule that states that if B is false and A implies B, then A is also false.

This is considered an "unsafe" approach compared to modus ponens because proving a negative is always weaker than proving a positive.

Personal tools
Namespaces
Variants