Traductions de „erfüllbar“ dans le dictionnaire espagnol » allemand

saciable (deseos, ansias)

erfüllbar

Exemples monolingues (non-vérifiés par l'équipe de rédaction)

allemand

Er besagt: Eine (möglicherweise unendliche) Formelmenge ist genau dann erfüllbar (d. h. hat ein Modell), wenn jede endliche Teilmenge von erfüllbar ist.

de.wikipedia.org

Somit ist genau dann erfüllbar, wenn erfüllbar ist, und jede erfüllende Belegung von ist ebenfalls eine erfüllende Belegung von.

de.wikipedia.org

Die Errichtung solches Technologieparks ist nur unter Bedingung der harten Normen und Grundsätze bei dem Bau und bei der Ausgabe von Geldmitteln erfüllbar.

de.wikipedia.org

Eine Formel in bereinigter Pränexform ist erfüllbar, wenn ihre Skolemform erfüllbar ist.

de.wikipedia.org

Dabei werden die Ansprüche der Kunden an die Leistung des Dienstleisters tendenziell zu hoch angesetzt, potentiell auf einem Niveau, welches realistisch betrachtet nicht erfüllbar ist.

de.wikipedia.org

Dieses Entscheidungsproblem untersucht, ob eine aussagenlogische Formel, die mit Quantoren versehen ist, erfüllbar oder wahr ist.

de.wikipedia.org

Dies bedeutet, dass die Forderung jederzeit fällig ist, jedoch erst mit Ablauf der vertraglich bestimmten Vertragsdauer erfüllbar wird.

de.wikipedia.org

Die Aussage (sprich: oder nicht) ist eine Tautologie, also auch erfüllbar, denn jede Belegung von mit wahr oder falsch liefert eine wahre Aussage.

de.wikipedia.org

Das Problem zu entscheiden, ob eine aussagenlogische Formel erfüllbar ist, nennt man das Erfüllbarkeitsproblem der Aussagenlogik.

de.wikipedia.org

Eine Formel ist genau dann eine Folgerung der Formeln, wenn die Formel nicht erfüllbar (d. h. inkonsistent) ist.

de.wikipedia.org