Modus Ponens

Bei der Aussagenlogik gibt es nur eine einzige Deduktionsregel, der sogenannte Modus Ponens:

Es seien zwei Theoreme oder Axiome folgender Form gegeben:

A

(A) => B

Hierbei sind A und B beliebige Formeln aus L.

Dann kann daraus B als neues Theorem abgeleitet werden.