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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.

Zur bewiesenen Aussage