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.