| || || |
Let be the “meaning” function from to (set of Boolean values, ) and let be a state then
Let denote that the states and are identical with the possible exception of the mapping for the variable .
Example 13 Let and be states.
The semantics of is defined in terms of
| || |