lecture 1 visuals
Propositional logic (PDF)
Predicate logic (PDF)