Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion/Axiomatik/Weitere Schlussregeln/Modus ponens Variante/Aufgabe

Begründe die folgende Ableitungsregel: Aus ${}\vdash \alpha$ und ${}\vdash \alpha \wedge \beta \rightarrow \gamma$ folgt ${}\vdash \beta \rightarrow \gamma$.

Eine Lösung erstellen