ITL
© 1996-2015







16 State First Order Logic

A State is a union of

  • an integer state       e
State which is a mapping from the set of integer variables     e
V ar to the set of integer values V al and
  • a Boolean state Stateb which is a mapping from the set of propositional variable Varb to the set of Boolean values Bool .
State : (Vare → V al)∪ (V arb → Bool )

where V are ∩ V arb = ∅ .

We will use σ0,σ1,σ2,... to denote states and Σ to denote the set of all possible states.

Example 9 Let p be a Boolean variable and A be an integer variable then σ0  s.t. σ0 (p ) = tt  and σ0(A ) = 5 is a state.

_____________________________________________________________________