Descending wedge

From HandWiki
Revision as of 22:59, 6 February 2024 by DanMescoff (talk | contribs) (over-write)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Short description: Logic symbol

The descending wedge symbol may represent:

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, 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 ∨ 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. Whitehead, Alfred North (2005). Principia mathematica, by Alfred North Whitehead ... and Bertrand Russell.. http://name.umdl.umich.edu/aat3201.0001.001. 
  2. Rueff, Marcel; Jeger, Max (1970) (in en). Sets and Boolean Algebra. American Elsevier Publishing Company. ISBN 978-0-444-19751-1. https://books.google.com/books?id=1dJXAAAAYAAJ&q=vel. 
  3. Trappl, Robert (1975) (in en). Progress in Cybernetics and Systems Research. Hemisphere Publishing Corporation. ISBN 978-0-89116-240-7. https://books.google.com/books?id=fG1QAAAAMAAJ&q=vel. 
  4. Constable, Robert L. (1986) (in en). Implementing Mathematics with the Nuprl Proof Development System. Prentice-Hall. ISBN 978-0-13-451832-9. https://books.google.com/books?id=YQQnAAAAMAAJ&q=vel. 
  5. Malatesta, Michele (1997) (in en). The Primary Logic: Instruments for a Dialogue Between the Two Cultures. Gracewing Publishing. ISBN 978-0-85244-499-3. https://books.google.com/books?id=j0TZo9ZqOxwC&pg=PA85. 
  6. Harris, John W.; Stöcker, Horst (1998-07-23) (in en). Handbook of Mathematics and Computational Science. Springer Science & Business Media. ISBN 978-0-387-94746-4. https://books.google.com/books?id=DnKLkOb_YfIC&q=vel. 
  7. Tidman, Paul; Kahane, Howard (2003) (in en). Logic and Philosophy: A Modern Introduction. Wadsworth/Thomson Learning. ISBN 978-0-534-56172-7. https://books.google.com/books?id=AxoqAQAAMAAJ&q=vel. 
  8. Kudryavtsev, Valery B.; Rosenberg, Ivo G. (2006-01-18) (in en). Structural Theory of Automata, Semigroups, and Universal Algebra: Proceedings of the NATO Advanced Study Institute on Structural Theory of Automata, Semigroups and Universal Algebra, Montreal, Quebec, Canada, 7-18 July 2003. Springer Science & Business Media. ISBN 978-1-4020-3817-4. https://books.google.com/books?id=K68D8CK9hucC&pg=PA81. 
  9. Denecke, Klaus; Wismath, Shelly L. (2009) (in en). Universal Algebra and Coalgebra. World Scientific. ISBN 978-981-283-745-5. https://books.google.com/books?id=NgTAzhC8jVAC&pg=PA193. 

See also