Ausdrucksmenge/Variablenzugehörigkeit/Ableitungsabschluss/Aufgabe
Erscheinungsbild
Es sei eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge , die zu jeder Aussagenvariablen entweder oder enthalte. Zeige, dass maximal widerspruchsfrei ist.