Explore relationships

Law of detachment

In propositional logic, modus ponens (; MP), also known as modus ponendo ponens (from Latin'mode that by affirming affirms'), conditional elimination, implication elimination, or affirming the antecedent, is a deductiveargument form and rule of inference.

Use + to expand a branch. Click a topic name to open its summary.