ITL
© 1996-2018







II.8 Summary

Summary [Slide 41]

  • A propositional formula contains propositional variables and Boolean operators
  • Reasoning using the truth table of a propositional formula
  • The semantics (meaning) of a propositional formula is defined with respect to a state
  • One can define the satisfiability and validity of a propositional formula using the semantics of a propositional formula or using the truth table







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