Definition from Wiktionary, the free dictionary
Jump to navigation Jump to search
U+22C1, ⋁
(LaTeX: \bigvee)
N-ARY LOGICAL OR

[U+22C0]
Mathematical Operators
[U+22C2]

Translingual[edit]

Symbol[edit]

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

Synonyms[edit]

  • (existential quantifier):

Related terms[edit]