Teoria del primo ordine: differenze tra le versioni

m
BOT: Add template {{F|matematica|luglio 2017}}
(→‎Collegamenti esterni: Eliminato link con Thesaurus del Nuovo Soggettario perché errato)
m (BOT: Add template {{F|matematica|luglio 2017}})
{{F|matematica|luglio 2017}}
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.
 
611 803

contributi