Zum Inhalt springen

Aussagemenge/Keine Negation/Direkt erfüllbar/Aufgabe

Aus Wikiversity

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.