Definition
Variable (First-Order Logic)
A variable is a symbol from a countably infinite set
, disjoint from the signature symbols . Variables act as placeholders for elements of the domain. Their value is supplied by a variable assignment , not by the structure.