BabelNet

bn:01151612n

Noun Concept

Categories: Latin logical phrases, Theorems in propositional logic, Rules of inference, Classical logic, Articles with short description

modus ponens Affirming the antecedent Forward reasoning Implication elimination law of detachment

In propositional logic, modus ponens, also known as modus ponendo ponens, implication elimination, or affirming the antecedent, is a deductive argument form and rule of inference. Wikipedia

Definitions

Examples

Relations

Sources

In propositional logic, modus ponens, also known as modus ponendo ponens, implication elimination, or affirming the antecedent, is a deductive argument form and rule of inference. Wikipedia

A valid form of argument in which the antecedent of a conditional proposition is affirmed, thereby entailing the affirmation of the consequent. Modus ponens has the form. Wiktionary

A valid form of argument in which the antecedent of a conditional proposition is affirmed, thereby entailing the affirmation of the consequent. Wiktionary (translation)

1. If P, then Q. Wiktionary

2. P. Wiktionary

3. Therefore, Q. Wiktionary

IS A

rule of inference

cut rule

PART OF

classical logic

Wikipedia

modus ponens

Wikidata

modus ponens