Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
+++ variable .
(del latín varius, distinto, diverso) En general, término o símbolo al que puede aplicársele diversos valores o significados. En lógica de enunciados, las variables son las letras de enunciado por oposición a las constantes lógicas, que son las conectivas. En lógica de predicados, «letra» que representa, junto a un predicado, cualquier objeto poseedor de la propiedad que éste menciona; normalmente, a las variables se aplican las letras x, y, z, ..., que actúan a modo de pronombres, que ocupan el lugar de los objetos. En el caso del enunciado «Raúl piensa», el nombre de «Raúl» puede ser sustituido por un conjunto de objetos de un dominio, simbolizado por x, que pueden hacer verdadero o falso el enunciado en cuestión: el predicado «x piensa» es verdadero para Raúl, para Ana, etc., pero no, por ejemplo, para «Rocinante».
Se distingue entre variables libres y ligadas. Una variable, x, es libre cuando el significado de la frase depende del valor que se da a x. Una variable, x, es ligada, si el significado de la frase no depende del valor que se da a x (ver ejemplo).
Se dice, con mayor precisión, que una variable aparece libre o ligada, o es real o aparente, según ocurra fuera del alcance de un cuantificador o, respectivamente, dentro del mismo (ver ejemplo). En este caso, la variable libre es la variable de ocurrencia libre; y la ligada, de ocurrencia ligada. Una fórmula con todas las variables ligadas es un enunciado; una fórmula con variables libres es una función proposicional (ver ejemplo); si se sustituyen las variables por constantes, se convierte en un enunciado o proposición.