Show Summary Details
Overview
modus tollens
Quick Reference
Any argument taking the form: If p, then q; Not-q; Therefore not-p. For example, If it is Sunday, then the restaurant is closed; The restaurant is not closed; Therefore, it is not Sunday. Such an argument is logically valid. See also denying the consequent. Compare modus ponens. [Latin: mood that denies]
