Teoria del primo ordine: differenze tra le versioni

m
-da cancellare -da aiutare +stub matematica +cat
Nessun oggetto della modifica
m (-da cancellare -da aiutare +stub matematica +cat)
{{dastub cancellarematematica}}
 
{{da aiutare mese|motivo=WND|settembre 2005}}
Nella [[Logica matematica]] si chiama '''Teoria del primo ordine''' una qualsiasi estensione del [[calcolo dei predicati del primo ordine]].
 
Ad esempio sia '''T''' un modello per una '''teoria''' del primo ordine.<br>
Se T ha almeno un modello viene detta [[consistenza|consistente]] (soddisfacibile) in quanto risponde coerentemente a tutte le sue ipotesi costitutive.
 
[[Categoria:Logica matematica]]