Descending wedge explained
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 . 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
- Book: Whitehead, Alfred North . Principia mathematica, by Alfred North Whitehead ... and Bertrand Russell. . 2005.
- Book: Rueff, Marcel . Sets and Boolean Algebra . Jeger . Max . 1970 . American Elsevier Publishing Company . 978-0-444-19751-1 . en.
- Book: Trappl, Robert . Progress in Cybernetics and Systems Research . 1975 . Hemisphere Publishing Corporation . 978-0-89116-240-7 . en.
- Book: Constable, Robert L. . Implementing Mathematics with the Nuprl Proof Development System . 1986 . Prentice-Hall . 978-0-13-451832-9 . en.
- Book: Malatesta, Michele . The Primary Logic: Instruments for a Dialogue Between the Two Cultures . 1997 . Gracewing Publishing . 978-0-85244-499-3 . en.
- Book: Harris, John W. . Handbook of Mathematics and Computational Science . Stöcker . Horst . 1998-07-23 . Springer Science & Business Media . 978-0-387-94746-4 . en.
- Book: Tidman, Paul . Logic and Philosophy: A Modern Introduction . Kahane . Howard . 2003 . Wadsworth/Thomson Learning . 978-0-534-56172-7 . en.
- Book: Kudryavtsev, Valery B. . 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 . Rosenberg . Ivo G. . 2006-01-18 . Springer Science & Business Media . 978-1-4020-3817-4 . en.
- Book: Denecke, Klaus . Universal Algebra and Coalgebra . Wismath . Shelly L. . 2009 . World Scientific . 978-981-283-745-5 . en.
See also
