Variabile libera: differenze tra le versioni

Versione delle 16:54, 21 gen 2006

Versione delle 21:13, 10 mag 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> è '''non''' occorre libera poichèpoiché è quantificata da <math>\forall x</math>.

* Nella formula