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

Aus Wikiversity
Beweis

Nach Axiom  (3) ist

Die beiden Bestandteile des Vordersatzes gelten nach Fakt, so dass auch ihre Konjunktion ableitbar ist. Daher ist auch der Nachsatz ableitbar.