змінна в логіці

ЗМІННА В ЛОГІЦІ — знак, який є невизначеним іменем якогось об'єкта із деякої множини об'єктів; знак, що сам по собі не позначає об'єкти, але з яким зіставляють деяку область об'єктів. ГІозаяк З.в л. не є іменем якогось певно визначеного об'єкта, вона, на відміну від констант, може набувати різних значень.