Conditional disjunction
Encyclopedia
In logic, the term conditional disjunction can refer to:
- conditioned disjunctionConditioned disjunctionIn logic, conditioned disjunction is a ternary logical connective introduced by Church.. Given operands p, q, and r, which represent truth-valued propositions, the meaning of the conditioned disjunction is given by:[p, q, r] ~\leftrightarrow~ \and .In words, is equivalent to: "if q...
, a ternary logical connective introduced by Alonzo Church; - a rule in classical logic that the material conditional is equivalent to the disjunction , so that these two formulas are interchangeable.