Aussagemenge/Keine Negation/Direkt erfüllbar/Aufgabe

Es sei ${}\Gamma \subseteq L^{V}$ eine Aussagenmenge derart, dass in keiner Aussage ${}\alpha \in \Gamma$ das Negationszeichen ${}\neg$ vorkommt. Zeige, dass dann die Wahrheitsbelegung, die jeder Aussagenvariablen den Wert ${}1$ zuweist, zu einer Interpretation ${}I$ mit ${}\Gamma \subseteq I^{\vDash }$ führt.

Eine Lösung erstellen