MathLiveModus ponens
A rule of inference from propositional logic stating that if the implication P \to Q holds and P is true, then Q must be true. It is the basic step used in logical proofs and deduction.
\frac{P \to Q,\; P}{\therefore Q}What the symbols mean
| a proposition (the antecedent) | |
| a proposition (the consequent) | |
| logical implication (if P then Q) | |
| therefore; Q follows from the premises above the line |
About this formula
- FieldMathematics
- TopicMathematical logic
- LevelUniversity
- Also calledmodus ponendo ponens, MP, implication elimination, affirming the antecedent, conditional elimination
- SourceWikidata Q655742
Write it in Obsidian
MathLive is a free visual math editor for Obsidian. Run Find a formula, type “modus ponens”, and it goes into your note as editable LaTeX. You can also scan formulas from screenshots, PDFs and handwriting.