
 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 deﬁned
with respect to a state
 One can deﬁne the satisﬁability and validity of a propositional
formula using the semantics of a propositional formula or using
the truth table
  