satisfiable
Wörterbuch
-
satisfiable
Beispiele im Kontext
-
Error: Dependency is not satisfiable: gconf-service
Fehler: Abhängigkeit nicht erfüllbar: gconf-Service
-
Dependency is not satisfiable
Abhängigkeit nicht erfüllbar
-
server: Requested Range Not Satisfiable
Server: angeforderte Bereich nicht erfüllbar
-
The requested range is not satisfiable.
Der angeforderte Bereich nicht erfüllbar ist.
-
This condition is not satisfiable
Dieser Zustand ist nicht erfüllbar
-
Requested Range Not satisfiable
Angeforderte Reichweite Nicht erfüllbar
-
is not satisfiable suitable
ist nicht auflösbar geeignet
-
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.