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

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

Zur bewiesenen Aussage