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