Variabile libera: differenze tra le versioni

Versione delle 17:12, 21 ott 2024

Versione delle 16:19, 23 nov 2024

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.

==Operatori che vincolano la variabili==

Riga 33:

* se <math>\mathcal A</math> ha la forma <math>\forall x_i \mathcal B</math> oppure <math>\exists x_i \mathcal B</math> allora ''x'' occorre libera in <math>\mathcal A</math> se occorre libera in <math>\mathcal B</math> e <math>x\neq x_i</math>

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

== Collegamenti esterni ==