In propositional logic, modus ponens (; MP), also known as modus ponendo ponens (from Latin 'mode that by affirming affirms'), implication elimination, or affirming the antecedent, is a deductive argument form and rule of inference. It can be summarized as "P implies Q. P is true.
In propositional logic, modus ponens (; MP), also known as modus ponendo ponens (from Latin 'mode that by affirming affirms'), implication elimination, or affirming the antecedent, is a deductive argument form and rule of inference. It can be summarized as "P implies Q. P is true.
Source: Wikipedia "Modus ponens" · CC BY-SA 4.0
Share this article: X · Bluesky