Teoria del primo ordine: differenze tra le versioni

Nessun cambiamento nella dimensione ,  12 anni fa
nessun oggetto della modifica
m (miglioro cat S)
Nessun oggetto della modifica
{{S|logica}}
 
Nella [[logica matematica]] una '''teorialogica del primo ordine''' è un particolare [[sistema formale]], cioè una teorialogica formale in cui è possibile esprimere enunciati e dedurre le loro conseguenze logiche in modo del tutto formale e meccanico.
 
== Definizione ==
Utente anonimo