   
 3 State Propositional LogicA state is a mapping from the set of propositional variables to the set of Boolean values . is the semantic ‘true’ value and the semantic ‘false’ value. We will use to denote states and to denote the set of all possible states. Example 2 Let be a state such that
_____________________________________________________________________
  

 