The course will offer an introduction to classical logic. In particular, we will cover some of the main results about propositional and first-order logic, including both technical aspects and philosophical motivation.