Exercises 02
Background
Propositional Logic Informally - Propositional Logic is the core logical reasoning
Predicate Logic Informally - We build on propositional logic to explain first-order predicate logic.
Normal forms for first-order logic
Sets and Relations - Some more background, useful preparation for program semantics.