---
tag: 4W6K66EK7E
kind: concept
name: Universal variable
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section U
    note: adopted
    mention: wikipedia://en/76765067#O2UI
    sections: [Summary]
inventory: [HHH6D7BKYW]
---

## Summary

A variable in predicate logic that is bound by a [[universal quantifier|0GHS47PDAQ]], representing any and all individuals in the domain of discourse.