Disjunction

Disjunction, in logic, relation or connection of terms in a proposition to express the concept “or”; it is a statement of alternatives (sometimes called “alternation”). For clarity, exclusive disjunction (either x or y, but not both), symbolized x ⊻ y, must be distinguished from inclusive disjunction (either x or y, or both x and y), symbolized x ∨ y. See alsoimplication.

Learn More in these related articles:

in logic, a relationship between two propositions in which the second is a logical consequence of the first. In most systems of formal logic, a broader relationship called material implication is employed, which is read “If A, then B,” and is denoted by A ⊃ B or A → B....

...and defining features of words used to combine simpler propositions into more complex ones. In addition to the conditional, which had already been explored by the Megarians, they investigated disjunction (or) and conjunction (and), along with words such as since and because. Some of these they defined truth-functionally (i.e., solely in terms of the truth or...

The construction of a semantic tableau proceeds as follows: express the premises and negation of the conclusion of an argument in PC using only negation (∼) and disjunction (∨) as propositional connectives. Eliminate every occurrence of two negation signs in a sequence (e.g., ∼∼∼∼∼a becomes ∼a). Now construct a tree diagram branching downward such...