Modus Ponens

Modus Ponens

Suppose $\phi$ and $\psi$ are formulas of $\mathcal{L}$, then$\text{from}\phi \text{and}\phi \to \psi \text{infer}\psi .$