Aussagenlogik/Ableitung/Korrektheit/Aufgabe
Erscheinungsbild
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 impliziert.