# Modus tollens

From AMS Glossary

## 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.