Zum Inhalt springen

Vollständigkeitssatz/Konstruktion/Aufgabe

Aus Wikiversity

Beschreibe die wesentlichen Punkte bei der Konstruktion eines Modells, mit dem man die Erfüllbarkeit einer maximal widerspruchsfreien Ausdrucksmenge, die Beispiele enthält, nachweist.