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

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

so dass sich

ergibt.