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