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