zmienna – symbol, oznaczający wielkość, która może przyjmować rozmaite wartości. Wartości te na ogół należą do pewnego zbioru, który jest określony przez naturę rozważanego problemu. Zbiór ten nazywamy zakresem zmiennej.
Przeciwieństwem zmiennej jest stała – jest to wielkość, której wartość nie może się zmieniać – konkretna liczba, wektor, macierz.
W logice zmienna, właściwie symbole zmienne stanowią drugi obok symboli stałych typ znaków charakteryzujących alfabet języka teorii sformalizowanej.
