What does unsatisfiable mean?
Definitions for unsatisfiable
un·sat·is·fi·able
This dictionary definitions page includes all the possible meanings, example usage and translations of the word unsatisfiable.
Princeton's WordNet
unsatisfiableadjective
not capable of being satisfied
"he knew the trap of unsatisfiable longing"
Wiktionary
unsatisfiableadjective
Not satisfiable. Unable to be satisfied.
Wikipedia
unsatisfiable
In mathematical logic, a formula is satisfiable if it is true under some assignment of values to its variables. For example, the formula x + 3 = y {\displaystyle x+3=y} is satisfiable because it is true when x = 3 {\displaystyle x=3} and y = 6 {\displaystyle y=6} , while the formula x + 1 = x {\displaystyle x+1=x} is not satisfiable over the integers. The dual concept to satisfiability is validity; a formula is valid if every assignment of values to its variables makes the formula true. For example, x + 3 = 3 + x {\displaystyle x+3=3+x} is valid over the integers, but x + 3 = y {\displaystyle x+3=y} is not. Formally, satisfiability is studied with respect to a fixed logic defining the syntax of allowed symbols, such as first-order logic, second-order logic or propositional logic. Rather than being syntactic, however, satisfiability is a semantic property because it relates to the meaning of the symbols, for example, the meaning of + {\displaystyle +} in a formula such as x + 1 = x {\displaystyle x+1=x} . Formally, we define an interpretation (or model) to be an assignment of values to the variables and an assignment of meaning to all other non-logical symbols, and a formula is said to be satisfiable if there is some interpretation which makes it true. While this allows non-standard interpretations of symbols such as + {\displaystyle +} , one can restrict their meaning by providing additional axioms. The satisfiability modulo theories problem considers satisfiability of a formula with respect to a formal theory, which is a (finite or infinite) set of axioms. Satisfiability and validity are defined for a single formula, but can be generalized to an arbitrary theory or set of formulas: a theory is satisfiable if at least one interpretation makes every formula in the theory true, and valid if every formula is true in every interpretation. For example, theories of arithmetic such as Peano arithmetic are satisfiable because they are true in the natural numbers. This concept is closely related to the consistency of a theory, and in fact is equivalent to consistency for first-order logic, a result known as Gödel's completeness theorem. The negation of satisfiability is unsatisfiability, and the negation of validity is invalidity. These four concepts are related to each other in a manner exactly analogous to Aristotle's square of opposition. The problem of determining whether a formula in propositional logic is satisfiable is decidable, and is known as the Boolean satisfiability problem, or SAT. In general, the problem of determining whether a sentence of first-order logic is satisfiable is not decidable. In universal algebra, equational theory, and automated theorem proving, the methods of term rewriting, congruence closure and unification are used to attempt to decide satisfiability. Whether a particular theory is decidable or not depends whether the theory is variable-free and on other conditions.
ChatGPT
unsatisfiable
Unsatisfiable refers to a term used in logic and mathematics, typically pertaining to a set or system of equations, expressions, or propositions that cannot be satisfied or resolved due to inherent contradictions or infeasibility. This means no combination of values or instances can meet the given conditions or make the arrangement valid or true.
Numerology
Chaldean Numerology
The numerical value of unsatisfiable in Chaldean Numerology is: 7
Pythagorean Numerology
The numerical value of unsatisfiable in Pythagorean Numerology is: 3
Popularity rank by frequency of use
Translation
Find a translation for the unsatisfiable definition in other languages:
Select another language:
- - Select -
- 简体中文 (Chinese - Simplified)
- 繁體中文 (Chinese - Traditional)
- Español (Spanish)
- Esperanto (Esperanto)
- 日本語 (Japanese)
- Português (Portuguese)
- Deutsch (German)
- العربية (Arabic)
- Français (French)
- Русский (Russian)
- ಕನ್ನಡ (Kannada)
- 한국어 (Korean)
- עברית (Hebrew)
- Gaeilge (Irish)
- Українська (Ukrainian)
- اردو (Urdu)
- Magyar (Hungarian)
- मानक हिन्दी (Hindi)
- Indonesia (Indonesian)
- Italiano (Italian)
- தமிழ் (Tamil)
- Türkçe (Turkish)
- తెలుగు (Telugu)
- ภาษาไทย (Thai)
- Tiếng Việt (Vietnamese)
- Čeština (Czech)
- Polski (Polish)
- Bahasa Indonesia (Indonesian)
- Românește (Romanian)
- Nederlands (Dutch)
- Ελληνικά (Greek)
- Latinum (Latin)
- Svenska (Swedish)
- Dansk (Danish)
- Suomi (Finnish)
- فارسی (Persian)
- ייִדיש (Yiddish)
- հայերեն (Armenian)
- Norsk (Norwegian)
- English (English)
Word of the Day
Would you like us to send you a FREE new word definition delivered to your inbox daily?
Citation
Use the citation below to add this definition to your bibliography:
Style:MLAChicagoAPA
"unsatisfiable." Definitions.net. STANDS4 LLC, 2024. Web. 19 Mar. 2024. <https://www.definitions.net/definition/unsatisfiable>.
Discuss these unsatisfiable definitions with the community:
Report Comment
We're doing our best to make sure our content is useful, accurate and safe.
If by any chance you spot an inappropriate comment while navigating through our website please use this form to let us know, and we'll take care of it shortly.
Attachment
You need to be logged in to favorite.
Log In