IV.7 Summary
Summary [Slide 127]
- A first order formula contains predicates, propositional variables,
Boolean operators and quantifiers.
- The semantics (meaning) of a first order formula is defined with respect
to a state.
- One can define the satisfiability and validity of a first order formula.