A menudo dejamos que las variables representen objetos matemáticos arbitrarios. Sin embargo, como hemos visto, las variables de objeto o variables libres (a diferencia de las variables de instrucción)...A menudo dejamos que las variables representen objetos matemáticos arbitrarios. Sin embargo, como hemos visto, las variables de objeto o variables libres (a diferencia de las variables de instrucción) conducen a problemas en la lógica.