We use cookies to enhance your experience on our website. By continuing to use our website, you are agreeing to our use of cookies. You can change your cookie settings at any time.ContinueFind out more
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.
‘From a conditional statement, one can construct two types of valid inference: modus ponens and modus tollens.’
‘He maintained that these methodological principles underlie evaluative practice in science just as modus ponens underlies deductive inference.’
‘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.’
‘This formal fallacy is often mistaken for modus ponens, a valid form of reasoning also using a conditional.’
‘We also noted that one of the most fundamental inferences concerning the conditional is modus ponens: a, a c c.’
‘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.’
1.1An argument using modus ponens.
‘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.’
‘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.’