ПЕРЕМЕННАЯ в логике - неопределенное имя предмета из некоторой выделенной предметной области - области значений этой переменной.