Logical disjunction

Definition

In logic, disjunction is a logical connective typically notated as and read aloud as "or". For instance, the English language sentence "it is sunny or it is warm" can be represented in logic using the disjunctive formula , assuming that abbreviates "it is sunny" and abbreviates "it is warm".

Related concepts

AND gate Abstract logic Ackermann set theory Affine transformation Affirming a disjunct Aleph number Alfred Tarski Algebraic logic Alphabet (formal languages)Alternative question Alternative semantics Ambiguity Ampersand Anaphora (linguistics)And/or Antecedent-contained deletion Argument Aristotle's sea battle argument Arity Arrow (symbol)Associativity Atomic formula Atomic model (mathematical logic)Atomic sentence Automata theory Automated theorem proving Autonomy of syntax Axiom Axiom of choice Axiom schema Axiomatic system Axiomatization of Boolean algebras Banach–Tarski paradox Bijection Binary operation Binding (linguistics)Bit field Bitwise disjunction Bitwise operation Boolean-valued function Boolean algebra Boolean algebra (logic)Boolean algebra topics Boolean algebras canonically defined Boolean domain Boolean function C (programming language)Cantor's diagonal argument Cantor's paradox Cantor's theorem Cardinality Cartesian product Cataphora Categorial grammar Categorical theory Category (mathematics)Category of sets Category theory Church encoding Church–Turing thesis Class (set theory)Classical logic Codomain Coercion (linguistics)Cognitive semantics Combinatory categorial grammar Commutativity Compactness theorem Complement (set theory)Complete theory Computability theory Computable function Computable set Computably enumerable set Computational semantics Concrete category Conditional sentence Conjunction/disjunction duality Conjunctive normal form Conservative extension Conservativity Consistency Constructible universe Construction of the real numbers Constructive set theory Constructivism (mathematics)Context set Continuation Continuum hypothesis Contradiction Conversational implicature Conversational scoreboard Converse (logic)Converse nonimplication Coordinating conjunction Countable set Counterfactuals Crossover effects Cumulativity (linguistics)Curry–Howard correspondence De Morgan's laws De dicto and de re De se Decidability (logic)Decision problem Deductive system Definiteness Denotation Deontic modality Diagram (mathematical logic)Digital buffer Discourse relation Discourse representation theory Disjunct distribution Disjunction Disjunction elimination Disjunction introduction Disjunctive normal form Disjunctive syllogism Distributional semantics Distributivity Domain of a function Donkey anaphora Double turnstile Downward entailing Dyirbal language Dynamic semantics Edward N. Zalta Electronics Element (mathematics)Elementary diagram Elementary equivalence Elementary function arithmetic Elvis operator Empty set Encyclopedia of Mathematics English language Entailment Enumeration Epistemic modality Equiconsistency Equivalence relation Euclid's Elements Euclidean geometry European Mathematical Society Evidentiality Exclusive disjunction Exclusive or Exhaustivity Existential closure Existential quantification Expression (mathematics)Extension (semantics)Extension by definitions Extension by new constant and function names Extensionality False (logic)Faultless disagreement Finitary relation Finite-valued logic Finite model theory Finite set First-order logic Fixed-point logic Focus (linguistics)Forcing (mathematics)Formal grammar Formal language Formal proof Formal semantics (logic)Formal semantics (natural language)Formal system Formation rule Foundations of geometry Foundations of mathematics Free choice inference Free logic Free variables and bound variables French language Fréchet inequalities Function (mathematics)Function application Functional completeness Functional predicate Fuzzy set General set theory Generalized quantifier Generative grammar George Boole Givenness Glue semantics Grammaticality Grothendieck universe Ground expression Ground formula Gödel's completeness theorem Gödel's incompleteness theorems Gödel numbering Halting problem Heisenberg Hereditary set Higher-order logic Hilbert's axioms Hilbert system History of logic History of mathematical logic Homogeneity (linguistics)Horseshoe (symbol)Hungarian language Hurford disjunction IMPLY gate Idempotency If and only if Image (mathematics)Inaccessible cardinal Inalienable possession Independence (mathematical logic)Indexicality Inference Inferentialism Infinite-valued logic Infinite set Information theory Inhabited set Injective function Inquisitive semantics Intension Intensional logic Interpretation (logic)Interpretation (model theory)Interpretation function Intersection (set theory)Intersective modifier Inverter (logic gate)Isomorphism Iterated binary operation Jan Łukasiewicz JavaScript Józef Maria Bocheński Kolmogorov complexity Kripke's theory of truth Kripke–Platek set theory Lambda calculus Large cardinal Lemma (mathematics)Lexical ambiguity Lexical semantics Lindström's theorem Linguistic entailment Linguistic modality Linguistic universal Linguistics wars List of Hilbert systems List of axioms List of first-order theories List of formal systems List of logic symbols List of mathematical theories List of set identities and relations List of statements independent of ZFC Logic Logic gate Logic translation Logical NOR Logical biconditional Logical conjunction Logical connective Logical consequence Logical constant Logical equality Logical equivalence Logical form (linguistics)Logical graph Logical negation Logical operation Logical truth Logicism Logophoricity Löwenheim–Skolem theorem Many-valued logic Map (mathematics)Maria Aloni Maricopa language Material conditional Material nonimplication Mathematical logic Mathematical object Meaning postulate Meiosis Mereology Metalanguage Minimal axioms for Boolean algebra Mirativity Modal subordination Modality (semantics)Model complete theory Model theory Monad (functional programming)Monadic predicate calculus Monadic second-order logic Monotonic function Monotonicity Montague grammar Morse–Kelley set theory NAND gate NIMPLY gate NOR gate NP (complexity)Naive set theory Natural deduction Natural language Negation New Foundations Non-Euclidean geometry Non-logical symbol Non-standard model Non-standard model of arithmetic Nonclassical logic OR gate Opaque context Open formula Operand Operation (mathematics)Operator (programming)Ordinal analysis Ordinal number P (complexity)P versus NP problem Paradoxes of set theory Partition of a set Peano axioms Performative utterance Philosophy of language Philosophy of logic Philosophy of mathematics Plural quantification Polar question Polarity item Polish notation Possible world Post's lattice Power set Pragmatics Predicate (mathematical logic)Predicate logic Predicate variable Presupposition Prime model Primitive recursive arithmetic Primitive recursive function Principia Mathematica Principle of compositionality Privative adjective Programming language Proof of impossibility Proof theory Proposition Propositional attitudes Propositional calculus Propositional formula Propositional variable Python programming language Quantificational variability effect Quantifier (logic)Quantifier raising Quantifier rank Quantization (linguistics)Question under discussion Recursion Recursive set Reference Relation (mathematics)Responsive predicate Reverse mathematics Rising declarative Robinson arithmetic Rule of inference Russell's paradox Satisfiability Saturated model Scalar implicature Schröder–Bernstein theorem Scope (formal semantics)Scope (logic)Second-order arithmetic Second-order logic Segmented discourse representation theory Self-verifying theories Semantic parsing Semantic theory of truth Semantics (logic)Semantics of logic Sentence (mathematical logic)Sequence point Sequent calculus Set (mathematics)Set complement Set intersection Set theory Sheffer stroke Short-circuit evaluation Signature (logic)Simplification of disjunctive antecedents Singleton (mathematics)Situation semantics Skolem arithmetic Sloppy identity Soundness Spectrum of a sentence Spectrum of a theory Speech act Square of opposition Squiggle operator Stanford Encyclopedia of Philosophy Statement (logic)Strawson entailment Strength (mathematical logic)Strict conditional String (formal languages)Structure (mathematical logic)Subsective modifier Subset Substitution (logic)Substructure (mathematics)Subtrigging Suffix Supertask Supervaluationism Surjective function Syllogism Symbol (formal)Syntax (logic)Syntax–semantics interface T-schema Tagged union Tarski's axiomatization of the reals Tarski's axioms Tarski's theory of truth Tarski's undefinability theorem Tarski–Grothendieck set theory Tautology (logic)Tee (symbol)Telicity Temperature paradox Tense–aspect–mood Term (logic)Term logic Theorem Theories of truth Theory (mathematical logic)Therefore sign Three-valued logic Tilde Timeline of mathematical logic Transfer principle Transitive set Triple bar True (logic)True arithmetic Truth-conditional semantics Truth function Truth predicate Truth table Truth value Turing machine Turned A Turnstile (symbol)Type (model theory)Type shifter Type theory Type theory with records Ultrafilter (set theory)Ultraproduct Uncertainty principle Uncountable set Undecidable problem Uninterpreted function Union (set theory)Uniqueness quantification Universal grinder Universal quantification Universal set Universe (mathematics)Up tack Urelement Vagueness Validity (logic)Variable (mathematics)Vel (symbol)Venn diagram Veridicality Vertical bars (disambiguation)Von Neumann universe Von Neumann–Bernays–Gödel set theory Wedge (symbol)Well-formed formula William Stanley Jevons XNOR gate XOR gate Zermelo–Fraenkel set theory Zhegalkin polynomial

144 concepts already in your glossary