Erfüllbarkeit

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Eigenschaft einer Formel oder eines Formelmengen, dass es mindestens eine Interpretation, ein Modell oder eine Zuweisung von Wahrheitswerten gibt, die jede Formel der Menge wahr macht.