Cuña descendente - Descending wedge
El símbolo de cuña descendente ∨ puede representar:
- Disyunción lógica en lógica proposicional
- Únete a la teoría de la celosía
- La suma de la cuña en topología
El símbolo reflejado verticalmente, ∧, es una cuña y, a menudo, denota operadores relacionados o duales .
El símbolo ∨ fue introducido por Russell y Whitehead en Principia Mathematica , donde lo llamaron suma lógica o función disyuntiva .
En Unicode, el símbolo está codificado
U + 2228 ∨ OR LÓGICO (HTML ∨ · ∨, ∨ ). En TeX , es \veeo \lor.
Una motivación y la explicación más probable para la elección del símbolo ∨ es la palabra latina "vel" que significa "o" en el sentido inclusivo. Varios autores utilizan "vel" como nombre de la función "o".
Referencias
- ^ Bertrand Russell, Alfred North Whitehead, Principia Mathematica , I: 6 (1910)
- ^ Marcel Rueff, Max Jeger: Conjuntos y álgebra booleana, American Elsevier Publishing Company, 1970, ISBN 978-0444197511 , p. 142, https://books.google.com/books?id=1dJXAAAAYAAJ&dq=vel
- ↑ Robert Trappl, Franz Pichler: Progress in Cybernetics and Systems Research, Volumen 11, Hemisphere Publishing Corporation, 1975, ISBN 978-0891162407 , https://books.google.com/books?id=fG1QAAAAMAAJ&dq=vel
- ^ Robert L. Constable: Implementación de las matemáticas con el sistema de desarrollo de pruebas Nuprl, Prentice-Hall, 1986, ISBN 978-0134518329 , p. 59 y 80; https://books.google.com/books?id=YQQnAAAAMAAJ&dq=vel
- ^ Michele Malatesta: La lógica principal: instrumentos para un diálogo entre las dos culturas, Gracewing Publishing, 1997, p.85; ISBN 978-0852444993 ; https://books.google.com/books?id=j0TZo9ZqOxwC&pg=PA85#v=onepage&q&f=false
- ^ John W. Harris, Horst Stöcker: Manual de matemáticas y ciencias computacionales, 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
- ^ Paul Tidman, Howard Kahane: Lógica y filosofía - Una introducción moderna, Wadsworth / Thomson Learning, 2003, p. 28, 45 y 48; ISBN 978-0534561727 ; https://books.google.com/books?id=AxoqAQAAMAAJ&dq=vel
- ^ Valery B. Kudryavtsev, Ivo G. Rosenberg: Teoría estructural de autómatas, semigrupos y álgebra universal, Springer Science & Business Media, 2006, ISBN 978-1402038174 , p. 81; https://books.google.com/books?id=K68D8CK9hucC&pg=PA81#v=onepage&q&f=false
- ^ Klaus Denecke, Shelly L. Wismath: Álgebra universal y Coalgebra, World Scientific, 2009, ISBN 978-9812837455 , p. 193; https://books.google.com/books?id=NgTAzhC8jVAC&pg=PA193#v=onepage&q&f=false