Definify.com

Definition 2024

⋁

⋁

⋁	U+22C1, ⋁ (LaTeX: `\bigvee`) N-ARY LOGICAL OR

← ⋀
[U+22C0]

Mathematical Operators

⋂ →
[U+22C2]

Translingual

Symbol

⋁

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

Synonyms

(existential quantifier): ∃

Related terms