Значение ПЕРЕМЕННАЯ В ЛОГИКЕ в Большом энциклопедическом словаре

ПЕРЕМЕННАЯ В ЛОГИКЕ

неопределенное имя предмета из некоторой выделенной предметной области - области значений этой переменной.

Большой энциклопедический словарь.