---
tag: XK9WZW5B68
kind: concept
name: Existence predicate
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section E
    note: adopted
    mention: wikipedia://en/76765067#72W0
    sections: [Summary]
inventory: [HA2WRDEC9V]
---

## Summary

A predicate, usually occurring in free logics, that asserts the existence of the referent of a constant.