Section outline
-
Data 02/10/2018 Titolo Dimostrazione di Implicazioni Tautologiche Argomenti - Principio di sostituzione per l’implicazione
- Occorrenze positive e negative
- Altre tecniche di dimostrazione
- Forme Normali e Principio di Risoluzione
- Insiemi funzionalmente completi di connettivi logici
Materiale didattico - [LP1] fino a pag. 18
Lucidi LPP-2018-04.pdf