In logic, conditioned disjunction (sometimes called conditional disjunction) is a ternary logical connective introduced by Church.[1][2] Given operands p, q, and r, which represent truth-valued propositions, the meaning of the conditioned disjunction [p, q, r] is given by:
In words, [p, q, r] is equivalent to: "if q then p, else r", or "p or r, according as q or not q". This may also be stated as "q implies p, and not q implies r". So, for any values of p, q, and r, the value of [p, q, r] is the value of p when q is true, and is the value of r otherwise.
The conditioned disjunction is also equivalent to:
and has the same truth table as the ternary conditional operator ?: in many programming languages (with being equivalent to a ? b : c). In electronic logic terms, it may also be viewed as a single-bit multiplexer.
In conjunction with truth constants denoting each truth-value, conditioned disjunction is truth-functionally complete for classical logic.[3] There are other truth-functionally complete ternary connectives.
^Church, Alonzo (1956). Introduction to Mathematical Logic. Princeton University Press.
^Church, Alonzo (1948). "Conditioned disjunction as a primitive connective for the propositional calculus". Portugaliae Mathematica, vol. 7, pp. 87-90.
^Wesselkamper, T., "A sole sufficient operator", Notre Dame Journal of Formal Logic, Vol. XVI, No. 1 (1975), pp. 86-88.
and 26 Related for: Conditioned disjunction information
In logic, conditioneddisjunction (sometimes called conditional disjunction) is a ternary logical connective introduced by Church. Given operands p, q...
In logic, disjunction, also known as logical disjunction or logical or or logical addition or inclusive disjunction, is a logical connective typically...
In logic, the term conditional disjunction can refer to: conditioneddisjunction, a ternary logical connective introduced by Alonzo Church a rule in classical...
Karyotype of X monosomy (Turner syndrome) This condition is characterized by the presence of only one X chromosome and no Y chromosome (see bottom right...
it asserts that one among a number of alternatives must be true. This disjunction is problematic because it oversimplifies the choice by excluding viable...
but their disjunction is, since no card can be an ace without fulfilling at least (in fact, exactly) one of these conditions. A condition can be either...
operator, ?:, or sometimes ?., as a shorthand binary operator Conditioneddisjunction, equivalent ternary logical connective. Multiplexer Strachey, Christopher...
Boolean-valued function Parity function Symmetric Boolean function Conditioneddisjunction Field of sets Functional completeness Implicant Logic alphabet...
shape like a spider. Joined points represent an "or" condition, also known as a logical disjunction. A spider diagram is a boolean expression involving...
algebra uses logical operators such as conjunction (and) denoted as ∧, disjunction (or) denoted as ∨, and the negation (not) denoted as ¬. Elementary algebra...
worked extensively on a phenomenon that is now called the "Asa Gray disjunction", namely, the surprising morphological similarities between many eastern...
autistic features. The cause of 48,XXXY can be from non-disjunction in the paternal sperm or non-disjunction in the maternal oocyte. The most likely scenario...
85,000 to 100,000 males. This syndrome is the result of maternal non-disjunction during both meiosis I and II. It was first diagnosed in 1960 and was...
disjunction introduction but keep disjunctive syllogism and transitivity. In this approach, rules of natural deduction hold, except for disjunction introduction...
\phi \lor \psi } and applying the rules for disjunction and negation above. As with the rules for disjunction, these rules require that the variable quantified...
Humans with this condition will not survive. Nullisomy is caused by non-disjunction, during meiosis that causes two of the gametes to have no chromosomal...
the result as 0. Similar to bitwise AND, bitwise OR performs logical disjunction at the bit level. Its result is a 1 if either of the bits is 1 and zero...
sperm may end up with a second copy of one of the chromosomes. (See non-disjunction.) If such a gamete results in fertilization and an embryo, the resulting...
modified rules for conjunction and disjunction. When the truth value of one component of a conjunction or disjunction is increased or decreased, the other...
heading of Relation, Kant lists inter alia the three relationship types of Disjunction, Causality and Inherence. The three older concepts of Quantity, Motion...
owns a Ford". Smith therefore (justifiably) concludes (by the rule of disjunction introduction) that "Jones owns a Ford, or Brown is in Barcelona", even...
D–E–F–G | A–B C scale: C–D = D–E–F–G | A–B–C (where G | A indicates the disjunction of tetrachords, always between G and A, and D = D indicates their conjunction...