Lab for Automated Reasoning and Analysis 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

 
sav08/lecture06.txt · Last modified: 2008/03/12 13:29 by vkuncak
 
© EPFL 2018 - Legal notice