Crash coarse on propositional logic

The lecture Tuesday 17 will start with a crash course on propositional logic. The coarse is recommendable for everyone (even if those already familiar with with propositional logic).