Unerfüllbarkeit

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eigenschaft einer Formel oder einer Menge von Formeln, für die keine Interpretation, kein Modell oder keine Zuweisung existiert, die jede Formel der Menge wahr macht; äquivalent dazu hat die Menge keine Modelle.