Zum Inhalt springen

Aussagenlogik/Ableitungskalkül/Abschluss/Aufgabe/Lösung

Aus Wikiversity


Die Inklusion

ist wegen klar. Es sei also . Dies bedeutet, dass es Ausdrücke mit

gibt. Für die einzelnen gibt es mit

für jedes . Daraus ergibt sich mit Hilfe (der Regelversion) von Fakt  (2)

Mit der Kettenschlussregel ergibt sich daraus

was bedeutet.