Ivan's Cool Obsidian Vault

Home

❯

002 Source Material

❯

Definitions

❯

There Exists

There Exists

Mar 31, 20261 min read

  • definition

The existential quantifier symbol ∃, read as “there exists.” Used in existential quantification to assert that at least one element satisfying a given property exists.

See Also

  • existential quantification
  • for all
  • universal quantification
  • existence statements

Graph View

Backlinks

  • Existence Statements
  • Existential Quantification
  • For All
  • Logic
  • Universal Quantification
  • 2.7 Quantifiers

Created with Quartz v4.5.2 © 2026

  • GitHub
  • Discord Community