Variabile libera: differenze tra le versioni

Versione delle 16:53, 29 apr 2011

Versione delle 10:41, 25 apr 2012

Riga 1:

{{F|matematica|aprile 2012}}

In [[logica matematica]] e in particolare in un [[linguaggio del primo ordine]] si dice che una '''[[variabile (matematica)|variabile]]''' occorre '''libera''' in una [[formula ben formata]] <math>\mathcal A</math> se nella formula tale variabile appare al di fuori del dominio di un quantificatore sulla variabile stessa.

Riga 23 ⟶ 24:

Il fatto che questa definizione ricorsiva sia ben posta è garantito dal [[teorema di ricorsione]] assieme con il [[teorema di leggibilità unica]].

{{Portale|matematica}}

[[categoria: logica matematica]]