Je was op zoek naar: unsatisfiable (Engels - Duits)

unsatisfiable constraint
unerfüllbarer constraint

if the answer is "no", the formula is unsatisfiable.
das hornsat-problem ist p-vollständig.

there was a time when requirements like the “dominance-free discourse” were considered utopian and unsatisfiable.
forderungen wie der „herrschaftsfreie diskurs“ galten mal als utopisch und unerfüllbar.

in particular φ is valid if and only if ¬φ is unsatisfiable, which is to say it is not true that ¬φ is satisfiable.
es ist ja die eigenschaft einer aussagenvariablen, daß ihr wahrheitswert entweder wahr oder falsch ist.

but there is another essential ingredient of the hommelette: the motivating force, désir. remember, the world we are born into is full of desire, of unsatisfiable desire.
der große sinn, wie z.b. der eines goethe, der in die natur oder in die geschichte blickt, macht große erfahrungen, erblickt das vernünftige und spricht es aus.

the four concepts can be raised to apply to whole theories: a theory is satisfiable (valid) if one (all) of the interpretations make(s) each of the axioms of the theory true, and a theory is unsatisfiable (invalid) if all (one) of the interpretations make(s) each of the axioms of the theory false.
beispiele: in der theorie der reellen zahlen (also dem üblichen zahlensystem) ist die gleichung formula_1 lösbar, also diese aussage erfüllbar.