Descending wedge: Difference between revisions
Content deleted Content added
See Wedge (symbol) |
Russel & Whitehead did not call this symbol vel |
||
| Line 1: | Line 1: | ||
'''Vel''' |
'''Vel''' ('''∨''') (''vel'' is "or" in Latin) or '''descending wedge''' is a [[symbol]] used to represent: |
||
* [[Logical disjunction]] in [[propositional calculus|propositional logic]] |
* [[Logical disjunction]] in [[propositional calculus|propositional logic]] |
||
* [[Join and meet|Join]] in [[lattice (order)|lattice theory]] |
* [[Join and meet|Join]] in [[lattice (order)|lattice theory]] |
||
It was used by [[Bertrand Russell|Russell]] and [[Alfred North Whitehead|Whitehead]] in ''[[Principia Mathematica]]''. In [[Unicode]] the symbol is encoded {{unichar|2228|Logical or|html=}} and by <code>\vee</code> and <code>\lor</code> in [[TeX]]. The opposite symbol (∧) is called a [[Wedge (symbol)|wedge]]. |
It was used by [[Bertrand Russell|Russell]] and [[Alfred North Whitehead|Whitehead]] in ''[[Principia Mathematica]]'', where they called it the ''Logical Sum'' or ''Disjunctive Function''. In [[Unicode]] the symbol is encoded {{unichar|2228|Logical or|html=}} and by <code>\vee</code> and <code>\lor</code> in [[TeX]]. The opposite symbol (∧) is called a [[Wedge (symbol)|wedge]]. |
||
==See also== |
==See also== |
||
Revision as of 20:41, 17 February 2015
Vel (∨) (vel is "or" in Latin) or descending wedge is a symbol used to represent:
It was used by Russell and Whitehead in Principia Mathematica, where they called it the Logical Sum or Disjunctive Function. In Unicode the symbol is encoded U+2228 ∨ LOGICAL OR (∨, ∨) and by \vee and \lor in TeX. The opposite symbol (∧) is called a wedge.
