Zum Inhalt springen

Aussagenlogik/Ableitungskalkül/Konjunktion/Fakt/Beweis

Aus Wikiversity
Beweis

Nach Axiom  (4) ist

und wegen Axiom  (1) ist

sodass mit Modus ponens auch

gilt. Für die andere Behauptung gehen wir von Fakt aus, was

liefert. Wegen Axiom  (1) haben wir

also mit Modus ponens auch

Nach Axiom  (4) ist

woraus sich nach dem bisher Bewiesenen

ergibt.