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
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.
~13 min read
Encyclopedic overview
Related concepts
Propositional calculus Predicate logic Boolean algebra Truth table Truth function Boolean function Functional completeness Scope (logic)
Excerpted from Wikipedia’s “logical disjunction” article, available under the CC BY-SA 4.0 licence.