TOPICS
Search

Modus Tollens

Modus tollens is a valid argument form in propositional calculus in which p and q are propositions. If p implies q, and q is false, then p is false. Also known as an indirect proof or a proof by contrapositive.

(p=>q,¬q)/(∴¬p)

For example, if being the king implies having a crown, not having a crown implies not being the king.

See also

Modus Ponens, Proof by Contradiction

This entry contributed by Jordan Bell

Explore with Wolfram|Alpha

References

Copi, I. M. and Cohen, C. Introduction to Logic. Upper Saddle River, NJ: Prentice Hall, 2001.

Referenced on Wolfram|Alpha

Modus Tollens

Cite this as:

Bell, Jordan. "Modus Tollens." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. https://mathworld.wolfram.com/ModusTollens.html

Subject classifications