Metodi Logici | Notion

Sintassi e semantica classica

Conseguenza e validità

Teoria della corrispondenza

Sottomodelli generati

Calcolo assiomatico

Linguaggio etichettato $\mathcal{L}^E$

Teoremi di validità e completezza

Domande per il prof.

Cose da sapere e intuizioni