Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion/Axiomatik/Assoziativität der Konjunktion/Fakt/Beweis/Aufgabe

Zeige das Assoziativgesetz für die Konjunktion, also

$\vdash {\left(\alpha \wedge \beta \right)}\wedge \gamma \rightarrow \alpha \wedge {\left(\beta \wedge \gamma \right)}.$

Eine Lösung erstellen