exclusive/inclusive disjunction

exclusive/inclusive disjunction
The disjunction of two propositions, p or q, is represented in logic by pq . 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. . 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

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.