satisfiable
Speech parts
1. satisfiable - Adjective
2. satisfiable - Adjective Satellite
Meaning
That may be satisfied.
Source: Webster's dictionarySynonyms
Antonyms
Show all antonymsExamples
a satiable thirst
a satiable appetite
A formula is said to be satisfiable if it can be made TRUE by assigning appropriate logical values (i.e. TRUE, FALSE) to its variables.
An initial problem is solved by reducing it to a satisfiable conjunction of constraints.
However, suppose that for every formula φ there is some formula ψ taken from a more restricted class of formulas C, such that " is either refutable or satisfiable" → " is either refutable or satisfiable".
If every formula in R of degree k is either refutable or satisfiable, then so is every formula in R of degree k+1.