1Β° Anno | Informatica
Versione π
Formulario Logica.pdf
Funzioni
Relazione di Equivalenza
Insieme quoziente
CNF-DNF
Albero Sintattico
Deduzione Naturale
Logica
Leggi Logiche
Tavole di veritΓ (Tautologia, Contraddizione, Conseguenza)
Logica dei predicati del primo ordine
Esercizi Risolti Logica