This is an introduction to propositional logic. We will go through:
- Logic in languages
- The syntax of propositional logic
- Natural deduction as a reasoning system
- Semantics of propositional logic
- Soundness and Completeness between propositional logic and proof systems
The book used as background material is Logic in Computer Science by Micheal Huth and Mark Ryan. And we use Boxprover as proof assistant. I will leave out details requiring special computer science knowledge.