Teoria del primo ordine: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Tolgo il parametro di {{Thesaurus BNCF}} per usarlo con Wikidata |
-S |
||
Riga 1:
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.
|