---
tag: 4TZY8VFD35
kind: concept
name: Existential variable
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section E
    note: adopted
    mention: wikipedia://en/76765067#5DDP
    sections: [Summary]
inventory: [1ZBJMNE7MD]
---

## Summary

A variable in predicate logic that is bound by an existential quantifier, representing an unspecified member of the domain that satisfies the predicate.