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 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 . [1]
En Unicode, el símbolo está codificado U + 2228 ∨ OR LÓGICO (HTML ∨
· ∨, &vee
). En TeX , es \vee
o \lor
.
Una motivación y la explicación más probable para la elección del símbolo V es la palabra latina "vel" que significa "o" en el sentido inclusivo. Varios autores utilizan "vel" como nombre de la función "o". [2] [3] [4] [5] [6] [7] [8] [9]
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: Progreso en la investigación de sistemas y cibernética, 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 prueba Nuprl, Prentice-Hall, 1986, ISBN 978-0134518329 , pág. 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ág. 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ág. 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ág. 193; https://books.google.com/books?id=NgTAzhC8jVAC&pg=PA193#v=onepage&q&f=false