Teoria del primo ordine: differenze tra le versioni

Nessun cambiamento nella dimensione ,  9 mesi fa
Nessun oggetto della modifica
== Definizione ==
 
Gli elementi che definiscono una ''teoria del primo ordine sono'' sono:
* un [[alfabeto]], ovvero un insieme finito di simboli,
* un [[linguaggio del primo ordine]] costituito da un insieme di [[Formula ben formata|formule ben formate]] che rappresentano enunciati di senso compiuto,
Utente anonimo