File:Venn0111.svg · Wikimedia Commons · See Wikimedia Commons
logical disjunction
Sign in to saveAlso known as ∨, logical OR, disjunction, OR operation, or, OR, +, inclusive or
logical connective OR
AI overview
Logical disjunction is the "OR" operation in logic, which combines two statements and is true whenever at least one of them is true. It matters because it's a fundamental tool for reasoning and decision-making, allowing us to express situations where multiple options or conditions could lead to the same outcome.
AI-generated from the Wikipedia summary — may contain errors.
Wikidata facts
- Image
- Venn0111.svg
Show 3 more facts
- Commons category
- Logical disjunction
- Unicode character
- ∨
- TeX string
- \lor
Sources (3)
via Wikidata · CC0
~13 min read
Article
Related concepts
Propositional calculus Predicate logic Boolean algebra Truth table Truth function Boolean function Functional completeness Scope (logic)
Gallery (3)
Connections
semantics of logic
Entity
semantic theory of truth
Entity
mathematical logic
Entity
Boolean algebra
Entity
intersection
Entity
proposition
Entity
logical negation
Entity
complement
Entity
logical operator
Entity
monotonic function
Entity
ambiguity
Entity
first-order logic
Entity
exclusive or
Entity
formal system
Entity
bitwise operation
Entity
logical consequence
Entity
linguistic modality
Entity
recursive set
Entity
logical truth
Entity
structure
Entity