
 IV.7 Summary
Summary [Slide 125]
 A ﬁrst order formula contains predicates, propositional variables,
Boolean operators and quantiﬁers.
 The semantics (meaning) of a ﬁrst order formula is deﬁned with
respect to a state.
 One can deﬁne the satisﬁability and validity of a ﬁrst order
formula.
  