ПЕРЕМЕННАЯ в логике

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