I cover propositional logic in a naive manner. I explain how to build well formed formulas and assign them truth values using truth tables. I then define logical validity and equivalence, present a list of useful logical equivalences, and show how they can be used to derive new ones.
- Tags
-