Jump to content

Conditional disjunction

From Wikipedia, the free encyclopedia
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

In logic, the term conditional disjunction can refer to:

  • conditioned disjunction, a ternary logical connective introduced by Alonzo Church
  • a rule in classical logic that the material conditional ¬pq is equivalent to the disjunction pq, so that these two formulae are interchangeable - see Negation