Filosofia Della Scienza 2026/2027

Logica proposizionale e calcolo dei predicati con identità, in particolare:

Operatori logici e linguaggio della logica classica proposizionale
Tavole di verità, tautologie, contraddizioni, formule vero-funzionalmente contingenti
Quantificatori e linguaggio del prim'ordine
Formalizzazioni
Alberi di refutazione
Relazione d'identità

---

Fonte: GOMP