Zum Inhalt springen

Aussagenlogik/Ableitungskalkül/Triviale Implikation/Fakt/Beweis

Aus Wikiversity
Beweis

Es ist

nach Axiom  (6), woraus sich nach Axiom  (4) mit Modus Pones auch

ergibt. Wegen Axiom  (1) ist

und daher mit Modus ponens auch

Wegen Axiom  (5) ist

und damit mit Axiom  (4) auch

sodass sich

ergibt.