Definition of modus ponens in English:

modus ponens


  • 1The rule of logic stating that if a conditional statement (“if p then q”) is accepted, and the antecedent (p) holds, then the consequent (q) may be inferred.

    ‘The statement that q follows by modus ponens from the other two stated as known in the antecedent of the subjunctive principle P; this principle counts on the person to draw the inference to q.’
    • ‘It could be a premise either, as some say, as the premise of a propositional scheme such as the modus ponens, or, as others assume, as the conditional premise of a hypothetical syllogism.’
    • ‘We also noted that one of the most fundamental inferences concerning the conditional is modus ponens: a, a c c.’
    • ‘This formal fallacy is often mistaken for modus ponens, a valid form of reasoning also using a conditional.’
    • ‘He maintained that these methodological principles underlie evaluative practice in science just as modus ponens underlies deductive inference.’
    • ‘From a conditional statement, one can construct two types of valid inference: modus ponens and modus tollens.’
    1. 1.1An argument using modus ponens.
      ‘Consider, for example, propositional logic: here one can start from self-evident axioms and proceed to deduce theorems by argument forms - modus ponens, for example - that are themselves self-evidently valid in an obvious sense.’
      • ‘The first three points are a valid form of argument, in the form of modus ponens.’
      • ‘Robustness was meant to ensure that an assertable conditional is fit for modus ponens.’


modus ponens

/ˈmōdəs ˈpōnenz/ /ˈmoʊdəs ˈpoʊnɛnz/


Latin, literally ‘mood that affirms’.