Aussagenlogik/Ableitungsbeziehung/Kettenschlussregel/Aufgabe/Lösung

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Die Voraussetzung bedeutet, dass es Ausdrücke mit

und mit

gibt. Daraus ergibt sich mit Hilfe (der Regelversion) von Fakt  (2)

Es gilt die Tautologie (Axiom  (2),)

Aus der Regelversion dieses Axioms ergibt sich

Dies bedeutet .
Zur gelösten Aufgabe