sat·is·fi·able [ˈsatɪsfaɪəbl̩] ΕΠΊΘ
- satisfiable
-
- satisfiable
-
PONS OpenDict
Θέλεις να προσθέσεις μια λέξη, φράση ή μετάφραση;
Στείλε μας μια νέα καταχώριση για το PONS OpenDict. Οι προτάσεις ελέγχονται από τη συντακτική ομάδα της PONS και στη συνέχεια περιλαμβάνονται στα αποτελέσματα.
Δεν υπάρχουν διαθέσιμα παραδείγματα προτάσεων
Δοκίμασε με μια άλλη καταχώριση.
Μονόγλωσσα παραδείγματα (μη ελεγμένα από τη συντακτική ομάδα της PONS)
In other logics, such as second-order logic, there are syntactically consistent theories that are not satisfiable, such as -inconsistent theories.
en.wikipedia.org A theory is satisfiable when all of its sentences are true.
en.wikipedia.org Since is finitely valid iff is not finitely satisfiable, we conclude that the set of sentences which are not finitely satisfiable is recursively enumerable.
en.wikipedia.org A tableau checks whether a given set of formulae is satisfiable or not.
en.wikipedia.org They may find a solution of a problem, but they may fail even if the problem is satisfiable.
en.wikipedia.org Αναζήτηση στο λεξικό
- satiny
- satire
- satirical
- satirically
- satirist
- satisfiable
- satisfied
- satisfy
- satisfying
- satnav
- satphone