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.
symbol
jest zmienną. W zależności od sytuacji zmienna ta może przyjmować rozmaite wartości: rzeczywiste, zespolone, wektorowe, funkcyjne.
i 
mamy zmienne
,
i
, które mogą przyjmować wartości rzeczywiste. Symbolem
oznaczono tutaj wielkość stałą.