Schema della sezione
-
- Dimostrazione di Implicazioni Tautologiche
- 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