๐ค Individual variable
= an unspecific reference/denotation to an individual
Properties
- Bound/Unbound:
- Bound: referenced by a quantifier
- Unbound not referenced by a quantifier
Notation
- small letter from the end of the latin alphabet
- e.g. โxโ, โyโ, โzโ