Aussagemenge/Keine Negation/Direkt erfüllbar/Aufgabe
Erscheinungsbild
Es sei eine Aussagenmenge derart, dass in keiner Aussage das Negationszeichen vorkommt. Zeige, dass dann die Wahrheitsbelegung, die jeder Aussagenvariablen den Wert zuweist, zu einer Interpretation
mit führt.