Symbolic Logic
This course is in the Cave Hill Moodle system, but I have placed here pdfs of the notes distributed during the course.
- Notes 1 - Introduction to formal logic
- Notes 2 - Translating from English into propositional calculus
- Notes 3a - Truth tables and Truth trees
- Notes 3b - Metalogic 1
- Notes 4 - First order logic
- Notes 5 - More about first order logic and identity
- Notes 6 - Axiomatic theories
- Notes 7 - Natural deduction rules and some target forms
Ed Brandon
last revised January 27, 2013.
All my materials here are issued under the Creative Commons Attribution-Noncommercial licence.