Zum Inhalt springen

Aussagenlogik/Syntaktische Tautologien/Implikation, Negation, Konjunktion/Axiomatik/Modus ponens intern/Fakt/Beweis

Aus Wikiversity
Beweis

Nach Axiom  (6) ist

und Axiom  (5) kann man wegen Axiom  (4) zu

umformulieren. Daraus und aus (Fakt)

ergibt sich mit der Regelversion zu Fakt  (2)

und daraus durch den Kettenschluss die Behauptung.