Premenná (logika) je obsadzovač miesta, ktorý sa môže nahradiť nejakou hodnotou z prípustného oboru hodnôt premennej.