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.