This is an introduction to propositional logic. We will go through:
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.