modus

modus ponens and modus tollens

(Latin: “method of affirming” and “method of denying”) In logic, two types of inference that can be drawn using a hypothetical proposition—i.e., from a proposition of the form “If p, then q” (symbolically p ⊃ q). Modus ponens refers to inferences of the form p ⊃ q; p, therefore q. Modus tollens refers to inferences of the form p ⊃ q; ¬q, therefore, ¬p. An example of modus tollens is the following: “If an angle is inscribed in a semicircle, then it is a right angle; this angle is not a right angle; therefore, this angle is not inscribed in a semicircle.”

Learn more about modus ponens and modus tollens with a free trial on Britannica.com.

Modus can mean:

See also

Search another word or see moduson Dictionary | Thesaurus |Spanish
Copyright © 2014 Dictionary.com, LLC. All rights reserved.
  • Please Login or Sign Up to use the Recent Searches feature
FAVORITES
RECENT

;