satisfiable

Wörterbuch

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.