Modus Ponens

Modus Ponens ist die Eliminationsregel der Implikation:

\frac{A A \to B}{B}

Sie erlaubt es, aus $A$ und $A \to B$ auf $B$ zu schließen.