Teoria del primo ordine: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Annullata la modifica 34005809 di 79.40.54.174 (discussione): l'incipt deve restare congruente col titolo della voce
Riga 1:
{{S|logica}}
 
Nella [[logica matematica]] una '''logicateoria del primo ordine''' è un particolare [[sistema formale]], cioè una logicateoria formale in cui è possibile esprimere enunciati e dedurre le loro conseguenze logiche in modo del tutto formale e meccanico.
 
== Definizione ==