Como adjetivo significa "capaz de variar". Como sustantivo significa una cantidad capaz de tomar valores de un conjunto de valores posibles. También puede referirse al símbolo o literal que representa tal cantidad. En lógica matemática, una variable no necesariamente es una cantidad sino un objeto designado con una literal.
Ver también:
Variable libre
Ver también:
Variables lógicas
Ver también:
Variables cuantificadas (o ligadas)