LARA

Propositional Logic

Recall our summary of propositional logic from lecture01 where we also defined the truth tables for logical connectives $\land, \lor, \lnot, \rightarrow, \leftrightarrow$.

Goals for this lecture:

  • deeper understanding of propositional logic
  • basis for formal treatment of first-order logic
  • preparation for lecture07 on SAT solvers that are basis of provers, which are used in provers for proving verification conditions

Topics

References