- exclusive/inclusive disjunction
- The disjunction of two propositions, p or q, is represented in logic by p ∨q . This is evaluated as true if both p and q are true, and is called inclusive disjunction (‘vel’). A different notion, exclusive disjunction, is defined true only when exactly one of p, q is true, and as false if they are both true. It has been contentious whether in natural language ‘or’ has an exclusive reading, or whether the appearance is the result of implicature.
Philosophy dictionary. Academic. 2011.
Look at other dictionaries:
disjunction — exclusive/inclusive disjunction … Philosophy dictionary
inclusive/exclusive disjunction — See exclusive/inclusive disjunction … Philosophy dictionary
Exclusive or — The logical operation exclusive disjunction, also called exclusive or (symbolized XOR or EOR), is a type of logical disjunction on two operands that results in a value of “true” if and only if exactly one of the operands has a value of “true”. [… … Wikipedia
disjunction — /dis jungk sheuhn/, n. 1. the act of disjoining or the state of being disjoined: a disjunction between thought and action. 2. Logic. a. Also called disjunctive, inclusive disjunction. a compound proposition that is true if and only if at least… … Universalium
disjunction — noun Date: 14th century 1. a sharp cleavage ; disunion, separation < the disjunction between theory and practice > 2. a compound sentence in logic formed by joining two simple statements by or: a. inclusive … New Collegiate Dictionary
Inclusive — * In the description of any formally defined set, the rules by which an object may be defined as included in the set are referred to as rules of inclusion or inclusive rules .* In the description of a mathematical set, the term inclusive denotes… … Wikipedia
disjunction — /dɪsˈdʒʌŋkʃən/ (say dis jungkshuhn) noun 1. the act of disjoining. 2. the state of being disjoined. 3. Logic a. the relation of the terms of a complex proposition where alternatives are in juxtaposition, as p or q or both (inclusive), p or q but… … Australian English dictionary
Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B … Wikipedia
Disjunctive syllogism — Rules of inference Propositional calculus Modus ponens (A→B, A ⊢ B) Modus tollens (A→B, ¬B ⊢ ¬A) … Wikipedia
logic, history of — Introduction the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic There was a medieval tradition according to which the Greek philosopher … Universalium