Introduction into Logic in computer science

This blog outlines the basics of propositional logic, as explained by the book "Logic in compuer science".