Boolean logic
Assignment
A choice of values for a formula's free variables.
Definition
Assignment
An assignment maps each free variable to a value of the correct sort.
Evaluating a formula under an assignment produces a result. A satisfying assignment makes every asserted constraint true.
01
Example
For a or b, the assignment a = false and b = true is satisfying.
02
Important distinction
An assignment that satisfies only some assertions is not a model of the complete query.
After reading this article, you should be able to
- Define Assignment in the sense used on this site.
- Check whether a given assignment satisfies every stated constraint.