Satisfiable

Satisfiable
Satisfiable Sat"is*fi`a*ble, a. That may be satisfied. [1913 Webster]

The Collaborative International Dictionary of English. 2000.

Игры ⚽ Нужен реферат?

Look at other dictionaries:

  • satisfiable — ● satisfiable adjectif (anglais satisfiable) Se dit d une fonction propositionnelle si elle est vraie sous certaines conditions …   Encyclopédie Universelle

  • satisfiable — sat·is·fi·a·ble (sătʹĭs fī ə bəl) adj. Capable of being satisfied: satisfiable needs and desires. * * * …   Universalium

  • satisfiable — adjective Date: 1638 capable of being satisfied …   New Collegiate Dictionary

  • satisfiable — adjective Capable of being satisfied …   Wiktionary

  • satisfiable — adj. satiable, can be gratified; appeasable, can be placated …   English contemporary dictionary

  • satisfiable — sat·is·fi·able …   English syllables

  • satisfiable — adjective capable of being sated a satiable thirst a satiable appetite • Syn: ↑satiable • Similar to: ↑satiate, ↑satiated …   Useful english dictionary

  • satisfy — satisfiable, adj. satisfier, n. satisfyingly, adv. satisfyingness, n. /sat is fuy /, v., satisfied, satisfying. v.t. 1. to fulfill the desires, expectations, needs, or demands of (a person, the mind, etc.); give full contentment to: The hearty… …   Universalium

  • Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… …   Wikipedia

  • Method of analytic tableaux — A graphical representation of a partially built propositional tableau In proof theory, the semantic tableau (or truth tree) is a decision procedure for sentential and related logics, and a proof procedure for formulas of first order logic. The… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”