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

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