⋁

⋁ U+22C1, ⋁
(LaTeX: \bigvee)
N-ARY LOGICAL OR
← ⋀
[U+22C0] 		Mathematical Operators ⋂ →
[U+22C2]

Translingual

Symbol

⋁

  1. (logic, algebra) the n-ary disjunction or join operator
  2. (logic) the existential quantifier

Synonyms
  • (existential quantifier): ∃
This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.