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

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Die Inklusion

ist wegen klar. 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.
Zur gelösten Aufgabe