Übersetzung für '
satisfiable' von Englisch nach Deutsch
| ADJ | satisfiable | more satisfiable | most satisfiable |
| SYNO | satiable | satisfiable |
ADJ positive | comparative | superlative
5 Übersetzungen
Neue Wörterbuch-Abfrage: Einfach jetzt tippen!
Anwendungsbeispiele Englisch
weitere Beispiele ...
- Each "condition" is a finite piece of information – the idea is that only finite pieces are relevant for consistency, since, by the compactness theorem, a theory is satisfiable if and only if every finite subset of its axioms is satisfiable.
- A satisfiable theory is a theory that has a model. This means there is a structure "M" that satisfies every sentence in the theory.
- Output: A truth value indicating whether Φ is satisfiable.
- The "Boolean satisfiability problem" (SAT) is, given a formula, to check whether it is satisfiable.
- A nondeterministic algorithm for determining whether a 2-satisfiability instance is "not" satisfiable, using only a logarithmic amount of writable memory, is easy to describe: simply choose (nondeterministically) a variable "v" and search (nondeterministically) for a chain of implications leading from "v" to its negation and then back to "v".
- Though the output expression contains more variables than the input, it remains equisatisfiable, meaning that it is satisfiable if, and only if, the original input equation is satisfiable.
- The compactness theorem states that a set of sentences S is satisfiable if every finite subset of S is satisfiable.
- In particular φ is valid if and only if ¬φ is unsatisfiable, which is to say it is false that ¬φ is satisfiable.
- In mathematical logic (a subtopic within the field of formal logic), two formulae are equisatisfiable if the first formula is satisfiable whenever the second is and vice versa; in other words, either both formulae are satisfiable or both are not.
- Conversely, a DNF formula is satisfiable if, and only if, one of its conjunctions is satisfiable; this can be decided in polynomial time.
- If [...] is satisfiable in a structure M, then, considering [...] , we see that [...] is satisfiable as well.
- If a sentence [...] is satisfiable then [...].
- A formula [...] is "satisfiable" if there exist an ω-word "w" such that "w" ⊨ [...].
© dict.cc English-German dictionary 2024
Enthält Übersetzungen von der TU Chemnitz sowie aus Mr Honey's Business Dictionary (nur Englisch/Deutsch).
Links auf das Wörterbuch oder auch auf einzelne Übersetzungen sind immer herzlich willkommen!