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