sat·is·fi·able [ˈsatɪsfaɪəbl̩] ΕΠΊΘ
- satisfiable
-
- satisfiable
-
PONS OpenDictΠροσθήκη λήμματος
Θέλετε να προσθέσετε μια λέξη, φράση ή μετάφραση?
Στείλτε μας ένα νέο λήμμα για το PONS OpenDict. Οι προτάσεις ελέγχονται από τη συντακτική ομάδα του PONS και στη συνέχεια περιλαμβάνονται στο PONS OpenDict.
No example sentences available
Try a different entry
Μονόγλωσσα παραδείγματα (μη ελεγχόμενα από το λεξικογραφικό τμήμα)
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