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.
Related concepts
Propositional calculus Predicate logic Boolean algebra Truth table Truth function Boolean function Functional completeness Scope (logic)
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).