The descending wedge symbol ∨ may represent: *

Logical disjunction In logic, disjunction is a logical connective typically notated as \lor and read aloud as "or". For instance, the English language sentence "it is raining or it is snowing" can be represented in logic using the disjunctive formula R \lor ...

propositional logic Propositional calculus is a branch of logic. It is also called propositional logic, statement logic, sentential calculus, sentential logic, or sometimes zeroth-order logic. It deals with propositions (which can be true or false) and relations b ...

Join Join may refer to: * Join (law), to include additional counts or additional defendants on an indictment *In mathematics: ** Join (mathematics), a least upper bound of sets orders in lattice theory ** Join (topology), an operation combining two topo ...

lattice theory A lattice is an abstract structure studied in the mathematical subdisciplines of order theory and abstract algebra. It consists of a partially ordered set in which every pair of elements has a unique supremum (also called a least upper bou ...

* The

wedge sum In topology, the wedge sum is a "one-point union" of a family of topological spaces. Specifically, if ''X'' and ''Y'' are pointed spaces (i.e. topological spaces with distinguished basepoints x_0 and y_0) the wedge sum of ''X'' and ''Y'' is the q ...

topology In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing ...

The vertically reflected symbol, ∧, is a wedge, and often denotes related or dual operators. The ∨ symbol was introduced by Russell and Whitehead in ''

Principia Mathematica The ''Principia Mathematica'' (often abbreviated ''PM'') is a three-volume work on the foundations of mathematics written by mathematician–philosophers Alfred North Whitehead and Bertrand Russell and published in 1910, 1912, and 1913. ...

'', where they called it the ''Logical Sum'' or ''Disjunctive Function''. In

Unicode Unicode, formally The Unicode Standard,The formal version reference is is an information technology standard for the consistent encoding, representation, and handling of text expressed in most of the world's writing systems. The standard, ...

the symbol is encoded . In TeX, it is \vee or \lor. One motivation and the most probable explanation for the choice of the symbol ∨ is the latin word "vel" meaning "or" in the inclusive sense. Several authors use "vel" as name of the "or" function. Klaus Denecke, Shelly L. Wismath: Universal Algebra and Coalgebra, World Scientific, 2009, , p. 193; https://books.google.com/books?id=NgTAzhC8jVAC&pg=PA193#v=onepage&q&f=false

References

See also