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

Home Corsi Supporto

Schema della sezione

8 marzo 2016, aula 5C edificio H2bis, h 16:00--18:00
- Seleziona attività 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.