---
tag: 8BS13NDRE8
kind: concept
name: First-order variable
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section F
    note: adopted
    mention: wikipedia://en/76765067#CLTB
    sections: [Summary]
inventory: [7TPQZ122DM]
---

## Summary

A variable in first-order logic that represents an individual in the domain of discourse.