satisfiable dans le dictionnaire italien Oxford-Paravia

Traductions de satisfiable dans le dictionnaire anglais»italien

satisfiable [GB ˈsatɪsfʌɪəb(ə)l, Am ˈsædəˌsfaɪəb(ə)l] ADJ

satisfiable

che può essere soddisfatto

Traductions de satisfiable dans le dictionnaire italien»anglais

Autres traductions et expressions typiques avec les termes de votre recherche

contentabile

satisfiable

appagabile

satisfiable

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

anglais

An unsatisfiable core is called a "minimal unsatisfiable core", if every proper subset (allowing removal of any arbitrary clause or clauses) of it is satisfiable.

en.wikipedia.org

A formula is satisfiable if it is true under at least one interpretation, and thus a tautology is a formula whose negation is unsatisfiable.

en.wikipedia.org

This is because the constraint store contains all constraints assumed satisfiable to prove the goal.

en.wikipedia.org

In this latter case, it is called unsatisfiable, otherwise satisfiable.

en.wikipedia.org

In particular is valid if and only if is unsatisfiable, which is to say it is not true that is satisfiable.

en.wikipedia.org

Graphs that can not be simplified beyond a certain point are analogues of the satisfiable formulas of first-order logic.

en.wikipedia.org

Such a set is easily recognizable as satisfiable or unsatisfiable with respect to the semantics of the logic in question.

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 theory is satisfiable when all of its sentences are true.

en.wikipedia.org

In other logics, such as second-order logic, there are syntactically consistent theories that are not satisfiable, such as -inconsistent theories.

en.wikipedia.org