Definizione di variabile libera
In Logica matematica una variabile libera è una Variabile che in una formula ben formata sta al di fuori del dominio di un quantificatore.
\forall x \forall y (\textit{A}(x,y,z)) \to \exists v (\textit{R}(x,y,v))
In Logica matematica una variabile libera è una Variabile che in una formula ben formata sta al di fuori del dominio di un quantificatore.
\forall x \forall y (\textit{A}(x,y,z)) \to \exists v (\textit{R}(x,y,v))