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

Es ist

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