Aussagenlogik/Ausdrucksmenge/Hinzunahme einer Variablen/Maximal widerspruchsfrei/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine Aussagenvariablenmenge. Konstruiere eine Ausdrucksmenge , die abgeschlossen unter Ableitungen und nicht maximal widerspruchsfrei ist, die aber die Eigenschaft besitzt, dass für jede Aussagenvariable sowohl

als auch maximal widerspruchsfrei ist.
Eine Lösung erstellen