## FANDOM

1,168 Pages

In propositional logic and several other logics, Modus Ponens is a rule of inference. It states that if we derived a well formed formula $\phi \to \psi$ and we also derived $\phi$, then we may derive $\psi$ (where $\phi$ and $\psi$ are metavariables and $\to$ is Material Conditional). In sequent notation, it is:

$\phi \to \psi, \phi \vdash \psi$

In rule form it is:

$\frac{P \to Q, P}{\therefore Q}$

It is also the valid argument form:

1. If P then Q.

2. P.

C: Q.

Community content is available under CC-BY-SA unless otherwise noted.