© 1996-2018

IV.7 Summary

Summary [Slide 125]

  • 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.

Contact | Home | ITL home | Course | Proofs | Algebra | FL