Teoria del primo ordine: differenze tra le versioni

m
miglioro cat S
m (Bot: Sistemo sintassi template Portale. Aggiungo: matematica. Tolgo: Matematica.)
m (miglioro cat S)
{{S|matematicalogica}}
 
Nella [[logica matematica]] una '''teoria del primo ordine''' è un particolare [[sistema formale]], cioè una teoria formale in cui è possibile esprimere enunciati e dedurre le loro conseguenze logiche in modo del tutto formale e meccanico.
172 280

contributi