unsatisfiable

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.

A formula is satisfiable if it is true under at least one interpretation, and thus a tautology is a formula whose negation is unsatisfiable.

Dies wiederum ist aber der "zweite" Teilsatz der Disjunktion, sodass der ganze Satz auch in diesem Fall wahr ist.

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.

A general solution for this problem is that of searching the space of tableaux until a closed one is found (if any exists, that is, the set is unsatisfiable).

Zugleich erbt er aber von seinem Vater auf Grund von Satz b. die Forderung, dass I(P) = W ist.

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.