   
 16 State First Order LogicA is a union of
where . We will use to denote states and to denote the set of all possible states. Example 9 Let be a Boolean variable and be an integer variable then s.t. and is a state. _____________________________________________________________________
  

 