Ausdrucksmenge/Variablenzugehörigkeit/Ableitungsabschluss/Aufgabe

Es sei ${}\Delta \subseteq L^{V}$ eine Ausdrucksmenge in der Sprache der Aussagenlogik zu einer Aussagenvariablenmenge ${}V$, die zu jeder Aussagenvariablen ${}p\in V$ entweder ${}p$ oder ${}\neg p$ enthalte. Zeige, dass ${}\Delta ^{\vdash }$ maximal widerspruchsfrei ist.

Eine Lösung erstellen