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

1. Aus $⊢\alpha \to (\beta \to \gamma )$ und $⊢\gamma \to \delta$ folgt $⊢\alpha \to (\beta \to \delta )$.
2. Aus $⊢\alpha$ und $⊢\alpha \wedge \beta \to \gamma$ ergibt sich $⊢\beta \to \gamma$.

Zum Beweis, Alternativen Beweis erstellen