Variabile libera: differenze tra le versioni

Versione delle 13:43, 1 giu 2006

Versione delle 01:25, 20 ott 2006

Riga 11:

(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>) ma <math>x</math> no.

[[categoria: logica matematicamatematicaalgebricastratiforme]]