Vollständigkeitssatz/Konstruktion/Aufgabe
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.