Definition: Variable in a Logical Calculus

A variable is a non-empty string over an alphabet used in a logical calculus to represent an element of a domain of discourse. More exactly, if $L$ is a formal language, $U$ the domain of discourse, and $s\in L$ an interpretable string with the interpretation $I(s)$, then a variable is any substring of $s$ being a symbol representing an element of $U$ in the interpretation $I(s)$.

Examples: 1

Definitions: 1 2 3 4
Examples: 5 6
Parts: 7

Thank you to the contributors under CC BY-SA 4.0!