Vollständigkeitssatz/Konstruktion/Aufgabe

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beschreibe die wesentlichen Punkte bei der Konstruktion eines Modells, mit dem man die Erfüllbarkeit einer maximal widerspruchsfreien Ausdrucksmenge, die Beispiele enthält, nachweist.
Eine Lösung erstellen