Klin zstępujący - Descending wedge

Malejąco klin symbol ∨ może reprezentować:

Symbol odbity pionowo, ∧, jest klinem i często oznacza operatory powiązane lub podwójne .

∨ symbol został wprowadzony przez Russella i Whiteheada w Principia Mathematica , gdzie nazwali go Logical Sum lub dysjunktywny Function .

W Unicode symbol jest zakodowany jako U+2228 ∨ LOGICAL OR (HTML  ∨ · ∨, ∨ ). W TeX-ie jest to \veelub \lor.

Jedną z motywacji i najbardziej prawdopodobnym wyjaśnieniem wyboru symbolu ∨ jest łacińskie słowo „vel” oznaczające „lub” w sensie inkluzywnym. Kilku autorów używa „vel” jako nazwy funkcji „lub”.

Bibliografia

  1. ^ Bertrand Russell, Alfred North Whitehead, Principia Mathematica , I: 6 (1910)
  2. ^ Marcel Rueff, Max Jeger: Zbiory i Boolean Algebra , American Elsevier Publishing Company, 1970, ISBN  978-0444197511 , s. 142, https://books.google.com/books?id=1dJXAAAAYAAJ&dq=vel
  3. ^ Robert Trappl, Franz Pichler: Postęp w cybernetyce i badaniach systemów, tom 11, Hemisphere Publishing Corporation, 1975, ISBN  978-0891162407 , https://books.google.com/books?id=fG1QAAAAMAAJ&dq=vel
  4. ^ Robert L. Constable: Wdrażanie matematyki z Nuprl Proof Development System , Prentice-Hall, 1986, ISBN  978-0134518329 , str. 59 i 80; https://books.google.com/books?id=YQQnAAAAMAAJ&dq=vel
  5. ^ Michele Malatesta: The Primary Logic: Instrumenty do dialogu między dwiema kulturami , Gracewing Publishing, 1997, s.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 , s. 468: https://books.google.com/books?id=DnKLkOb_YfIC&q=vel#v=snippet&q=vel&f=false
  7. ^ Paul Tidman, Howard Kahane: Logika i filozofia - nowoczesne wprowadzenie , Wadsworth / Thomson Learning, 2003, s. 28, 45 i 48; ISBN  978-0534561727 ; https://books.google.com/books?id=AxoqAQAAMAAJ&dq=vel
  8. ^ Valery B. Kudryavtsev, Ivo G. Rosenberg: Strukturalna teoria automatów, półgrup i uniwersalnej algebry , Springer Science & Business Media, 2006, ISBN  978-1402038174 , s. 81; https://books.google.com/books?id=K68D8CK9hucC&pg=PA81#v=onepage&q&f=false
  9. ^ Klaus Denecke, Shelly L. Wismath: Universal Algebra i Coalgebra, World Scientific, 2009, ISBN  978-9812837455 , s. 193; https://books.google.com/books?id=NgTAzhC8jVAC&pg=PA193#v=onepage&q&f=false

Zobacz też