{{různé významy|druhý=proměnné v programování|rozlišovač=programování}}
'''Proměnná''' je v [[logika|logice]], [[matematika|matematice]] a [[programování]] způsob [[symbol]]ické reprezentace objektů, který umožňuje zcela abstraktní manipulaci s nimi. Proměnná zastupuje libovolný myslitelný objekt z dané třídy. Manipulace s proměnnými a vztahy pro ně platné mohou být chápány jako manipulace s libovolnými objekty resp. vztahy platné pro všechny objekty. Pojem proměnné vznikl v matematice při řešení algebraických [[rovnice|rovnic]], až v moderní době se rozšířil i do jiných oborů.
