Variable

first-order-logic

Definition

Variable (First-Order Logic)

A variable is a symbol from a countably infinite set $\mathcal{V}$, disjoint from the signature symbols $\mathcal{F}\cup \mathcal{P}$. Variables act as placeholders for elements of the domain. Their value is supplied by a variable assignment $\sigma$, not by the structure.