Implikation

Die Implikation ist die Aussageform

A \to B .

Sie besagt: Wenn $A$ gilt, dann gilt auch $B$ .

Eliminationsregel (Modus Ponens):

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

Einführungsregel:

\frac{A \overset{!}{⟹} B}{A \to B}