Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion/Axiomatik/Weitere Schlussregeln/Fakt

1. Aus ${}\vdash \alpha \rightarrow (\beta \rightarrow \gamma )$ und ${}\vdash \gamma \rightarrow \delta$ folgt ${}\vdash \alpha \rightarrow (\beta \rightarrow \delta )$.
2. Aus ${}\vdash \alpha$ und ${}\vdash \alpha \wedge \beta \rightarrow \gamma$ ergibt sich ${}\vdash \beta \rightarrow \gamma$.

Zum Beweis, Alternativen Beweis erstellen