Zum Inhalt springen

Aussagenlogik/Ableitung/Korrektheit/Aufgabe

Aus Wikiversity

Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge . Zeige, dass die Ableitungsbeziehung die Folgerungsbeziehung impliziert.