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

 