Section: Sintesi e analisi, in logica proposizionale | 204SM - LOGICA 2015 | Moodle@Units

Home Courses Support

Section outline

8 marzo 2016, aula 5C edificio H2bis, h 16:00--18:00
- Select activity Introduzione alla logica proposizionale (2.a parte: Analisi)
  
  Introduzione alla logica proposizionale (2.a parte: Analisi) File PDF
  
  Lucidi sul'analisi di tautologicita` (e soddisfacibilita`). Un apparato deduttivo alla Hillbert per la logica proposizionale.