BabelNet

bn:01151612n

Noun Concept

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

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

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