Variabile libera: differenze tra le versioni

Versione delle 21:13, 10 mag 2006

Versione delle 11:36, 1 giu 2006

Riga 9:

* 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>) e <math>x</math> no.

[[categoria: logica matematica]]