Back to Notations

for Existential Quantification

A logical statement asserting that there exists at least one element satisfying a property

Syntax Forms

Typst $exists x. P(x)$
LaTeX \exists x. P(x)

Semantic Information

Also Known As
  • • there exists
  • • existential quantifier
  • • existence
Categories
logic quantifiers first-order logic

Academic Usage

Introduction to Set Theory

Karel Hrbacek, Thomas Jech • 1999

Context: First-order logic introduction

Referenced on page 121

Primary Definition