Argomenti da aggiungere

Introduzione

9.1 Il Calcolo Proposizionale: sintassi e semantica

9.2 Tavole di verità e tautologie

9.3 Dimostrazioni, nel calcolo proposizionale

9.5 Cenni di logica dei predicati: motivazioni e sintassi

9.6 Formalizzazione di frasi

9.7 Interpretazioni e semantica delle formule predicative

9.8 Dimostrazioni per sostituzione di formule valide

1. Insiemi

Appunti Lezioni - Valerio

Lez 25 - Logica (1)

Lez 26 - Logica (2)

Lez 28 - Logica (4)

Lez 29 - Logica (5)

Operatori booleani o connettivi logici