Logic 2022

Time and location

Class: Thursdays and Fridays 10:30-12:30.
Sala Stefanini, Palazzo del Capitanio


Textbook

Peter Smith, An introduction to formal logic (pdf)


Program, exercises, and additional material
(will be updated as the course proceeds)


20.10. Course introduction. Deductive validity, forms of inference, proofs.
Material: Chapters 1-4 of the book.