Variabile libera: differenze tra le versioni

Versione delle 11:36, 1 giu 2006

Versione delle 13:43, 1 giu 2006

Riga 5:

* Nella formula

:<math>\forall x A(x)</math>

(dove <math>A</math> è un simbolo per predicato unario) la sola variabile presente è <math>x</math> èche '''non''' occorre libera poiché è quantificata da <math>\forall x</math>.

* Nella formula

:<math>\forall x A(x,y)</math>

(dove <math>A</math> è un simbolo per predicato binario) sono presenti le variabili <math>x</math> e <math>y</math> di cui <math>y</math> occorre libera (non ci sono quantificatori su <math>y</math>) ema <math>x</math> no.

[[categoria: logica matematica]]