---
tag: G6KB0Z1EMF
kind: concept
name: Vel
sources:
  - wikipedia: en:76765067@r1368301704
    locator: Glossary of logic, section V
    note: adopted
    mention: wikipedia://en/76765067#7CTX
    sections: [Summary]
inventory: [11JMYBXZ02]
---

## Summary

The Latin word for "or", used in logic as a name for ∨, the descending wedge symbol. The symbol is used to denote a disjunction that is inclusive, meaning at least one of the disjuncts must be true for the whole expression to be true.