Descending wedge

The vertically reflected symbol, ∧, is a wedge, and often denotes related or dual operators.

The descending wedge symbol ∨ may represent:

The ∨ symbol was introduced by Russell and Whitehead in Principia Mathematica, where they called it the Logical Sum or Disjunctive Function.[1]

In Unicode the symbol is encoded U+2228 ∨ LOGICAL OR (HTML ∨ · ∨, ∨). In TeX, it is \vee or \lor.

One motivation and the most probable explanation for the choice of the symbol V is the latin word "vel" meaning "or" in the inclusive sense. Several authors use "vel" as name of the "or" function.[2] [3] [4] [5] [6] [7] [8] [9]

References
  1. Bertrand Russell, Alfred North Whitehead, Principia Mathematica, I:6 (1910)
  2. Marcel Rueff, Max Jeger: Sets and Boolean Algebra, American Elsevier Publishing Company, 1970, ISBN 978-0444197511, p. 142, https://books.google.com/books?id=1dJXAAAAYAAJ&dq=vel
  3. Robert Trappl, Franz Pichler: Progress in Cybernetics and Systems Research, Volume 11, Hemisphere Publishing Corporation, 1975, ISBN 978-0891162407, https://books.google.com/books?id=fG1QAAAAMAAJ&dq=vel
  4. Robert L. Constable: Implementing Mathematics with the Nuprl Proof Development System, Prentice-Hall, 1986, ISBN 978-0134518329, P. 59 & 80; https://books.google.com/books?id=YQQnAAAAMAAJ&dq=vel
  5. Michele Malatesta: The Primary Logic: Instruments for a Dialogue Between the Two Cultures, Gracewing Publishing, 1997, p.85; ISBN 978-0852444993; https://books.google.com/books?id=j0TZo9ZqOxwC&pg=PA85#v=onepage&q&f=false
  6. John W. Harris, Horst Stöcker: Handbook of Mathematics and Computational Science, Springer Science & Business Media, 1998 ISBN 978-0387947464, p. 468: https://books.google.com/books?id=DnKLkOb_YfIC&q=vel#v=snippet&q=vel&f=false
  7. Paul Tidman, Howard Kahane: Logic and Philosophy - A Modern Introduction, Wadsworth/Thomson Learning, 2003, p. 28, 45 & 48; ISBN 978-0534561727; https://books.google.com/books?id=AxoqAQAAMAAJ&dq=vel
  8. Valery B. Kudryavtsev, Ivo G. Rosenberg: Structural Theory of Automata, Semigroups, and Universal Algebra, Springer Science & Business Media, 2006, ISBN 978-1402038174, p. 81; https://books.google.com/books?id=K68D8CK9hucC&pg=PA81#v=onepage&q&f=false
  9. Klaus Denecke, Shelly L. Wismath: Universal Algebra and Coalgebra, World Scientific, 2009, ISBN 978-9812837455, p. 193; https://books.google.com/books?id=NgTAzhC8jVAC&pg=PA193#v=onepage&q&f=false

See also
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.