logical disjunction
Also 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.
~13 min read
Article
Related concepts
Propositional calculus Predicate logic Boolean algebra Truth table Truth function Boolean function Functional completeness Scope (logic)