| Sintassi | Semantica | |||||
| formule |- teoremi |
nozioni generali |
significato verità |
||||
| logica classica del prim'ordine | ||||||
| linguaggi del prim'ordine | interpretazioni | |||||
|
modelli |
|||||
| teorema di correttezza | ||||||
| teorema di completezza | ||||||
| teorema di compattezza | ||||||
| risoluzione | teorema di Skolem-Herbrand | |||||
| Concetti fondamentali: | funzione | algebra per una segnatura | principio di induzione |
Torna alla pagina del corso.