Conditioned disjunction

In logic, conditioned disjunction (sometimes called conditional disjunction) is a ternary logical connective introduced by Church.^[1]. Given operands p, q, and r, which represent truth-valued propositions, the meaning of the conditioned disjunction [p, q, r] is given by:

$[p, q, r] ~\leftrightarrow~(q \rightarrow p) \and (\neg q \rightarrow r).$

In words, [p, q, r] is equivalent to: "if q then p, else r", or "p or r, according as q or not q". 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.

In conjunction with truth constants denoting each truth-value, conditioned disjunction is truth-functionally complete for classical logic.^[2] Its truth table is the following:

Conditioned disjunction

p	q	r	[p,q,r]
T	T	T	T
T	T	F	T
T	F	T	T
T	F	F	F
F	T	T	F
F	T	F	F
F	F	T	T
F	F	F	F

There are other truth-functionally complete ternary connectives.

References

1. ^ Church, Alonzo (1956). Introduction to Mathematical Logic. Princeton University Press. 
2. ^ Wesselkamper, T., "A sole sufficient operator", Notre Dame Journal of Formal Logic, Vol. XVI, No. 1 (1975), pp. 86-88.

This logic-related article is a stub. You can help Wikipedia by expanding it.v · Categories: Boolean algebra Logical connectives Logic stubs Wikimedia Foundation. 2010. Игры ⚽ Нужна курсовая? Eye gnat United College of Hong Kong Look at other dictionaries: Conditional disjunction — 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 ¬p → q is equivalent to the disjunction p ∨ q, so… …   Wikipedia Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… …   Wikipedia List of Boolean algebra topics — This is a list of topics around Boolean algebra and propositional logic. Contents 1 Articles with a wide scope and introductions 2 Boolean functions and connectives 3 Examples of Boolean algebras …   Wikipedia List of mathematics articles (C) — NOTOC C C closed subgroup C minimal theory C normal subgroup C number C semiring C space C symmetry C* algebra C0 semigroup CA group Cabal (set theory) Cabibbo Kobayashi Maskawa matrix Cabinet projection Cable knot Cabri Geometry Cabtaxi number… …   Wikipedia Anekantavada — Part of a series on Jain philosophy Concepts Anekāntavāda · Syādvāda · Nayavāda · …   Wikipedia Christianity — /kris chee an i tee/, n., pl. Christianities. 1. the Christian religion, including the Catholic, Protestant, and Eastern Orthodox churches. 2. Christian beliefs or practices; Christian quality or character: Christianity mixed with pagan elements; …   Universalium Hellenistic biological sciences — R.J.Kankinson The five centuries that separate Aristotle’s death in 322 BC from Galen’s ascendancy in Rome in the latter part of the second century AD were fertile ones for the biological sciences, in particular medicine. Nor is the period solely …   History of philosophy Anti-realism — In philosophy, the term anti realism is used to describe anyposition involving either the denial of an objective reality of entities of a certain type or the denial that verification transcendent statements about a type of entity are either true… …   Wikipedia Postmodernity — (also spelled post modernity or the pejorative postmodern condition) is generally used to describe the economic and/or cultural state or condition of society which is said to exist after modernity. Some schools of thought hold that modernity… …   Wikipedia linguistics — /ling gwis tiks/, n. (used with a sing. v.) the science of language, including phonetics, phonology, morphology, syntax, semantics, pragmatics, and historical linguistics. [1850 55; see LINGUISTIC, ICS] * * * Study of the nature and structure of… …   Universalium 18+ © Academic, 2000-2024 Contact us: Technical Support, Advertising Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx. Mark and share Search through all dictionaries Translate… Search Internet Share the article and excerpts Direct link … Do a right-click on the link above and select “Copy Link”