ITL
© 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.







2018-02-25
Contact | Home | ITL home | Course | Proofs | Algebra | FL