The course is divided into two parts: (i) the truth-valuational approach to logic; (ii) the logic of quantified arguments.