Advertisement

Advertisement

modus ponens

[ moh-duhs poh-nenz ]

noun

, Logic.
, plural mo·dus po·nen·tes [moh, -d, uh, s poh-, nen, -teez].
  1. the reasoning that, when a conditional statement is accepted as true, as “ If X is red, then Y is blue,” it can be inferred when the antecedent is known to be true, as “X is red,” that its consequent, “Y is blue,” is affirmed.
  2. an argument based on the reasoning of modus ponens:

    A simple modus ponens might begin with “If Joe sneezes, Tom laughs.”



modus ponens

/ ˈməʊdəs ˈpəʊˌnɛnz /

noun

  1. logic the principle that whenever a conditional statement and its antecedent are given to be true its consequent may be validly inferred, as in if it's Tuesday this must be Belgium and it's Tuesday so this must be Belgium
“Collins English Dictionary — Complete & Unabridged” 2012 Digital Edition © William Collins Sons & Co. Ltd. 1979, 1986 © HarperCollins Publishers 1998, 2000, 2003, 2005, 2006, 2007, 2009, 2012
Discover More

Word History and Origins

Origin of modus ponens1

First recorded in 1835–40; New Latin: literally “affirming mode”
Discover More

Word History and Origins

Origin of modus ponens1

literally: mood that affirms
Discover More

Example Sentences

It consisted primarily of modus ponens—“If A is true, then B is true. A is true. Therefore, B is true”—and modus tollens—“If A is true, then B is true. B is not true. Therefore, A is not true.”

“Modus ponens is O.K. when you’re doing the informal proofs, but modus tollens can be tough,” Murphy said as he packed his books and pens.

Instead, all their arguments involve what logicians know as “modus ponens”: that if X implies Y and X is true, then Y must also be true.

This is the Modus Ponens or Positive Mode, where you reach a conclusion by obtaining the admission of the Antecedent.

Two Moods are usually recognised the Modus ponens, in which the antecedent of the hypothetical major premise is affirmed; and the Modus tollens, in which its consequent is denied.

Advertisement

Advertisement

Advertisement

Advertisement


modus operandimodus tollens