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