LOGIC 1

The aim of the course is to provide an understanding of the logic of propositions. The presentation of the calculation does not include the formulation of axioms; the set of rules - which can be traced back to Gentzen - defines a classical propositional calculus. After providing some historical elements, the student will be introduced to the propositional language and procedures of derivation. Particular importance will be given to the techniques of discovery of evidence.