Conditioned disjunction
In logic, conditioned disjunction (sometimes called conditional 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 [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.
Link from a Wikipage to another Wikipage
primaryTopic
Conditioned disjunction
In logic, conditioned disjunction (sometimes called conditional 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 [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.
has abstract
En logique, une disjonction co ...... connecteurs ternaires complet.
@fr
En lógica, la disjunción condi ...... lmente completos de la verdad.
@es
In logic, conditioned disjunct ...... complete ternary connectives.
@en
У логіці, умовна диз'юнкція — ...... r]), вона матиме такий вигляд:
@uk
Условная дизъюнкция — тернарна ...... ьно полные тернарные операции.
@ru
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,018,251,541
Link from a Wikipage to another Wikipage
0-preserving
yes
@en
1-preserving
yes
@en
affine
no
@en
monotone
no
@en
self-dual
no
@en
title
Conditioned disjunction
@en
Venn diagram
@en
wikiPageUsesTemplate
comment
En logique, une disjonction co ...... connecteurs ternaires complet.
@fr
En lógica, la disjunción condi ...... un multiplexor de un solo bit.
@es
In logic, conditioned disjunct ...... d is the value of r otherwise.
@en
У логіці, умовна диз'юнкція — ...... r]), вона матиме такий вигляд:
@uk
Условная дизъюнкция — тернарна ...... ьно полные тернарные операции.
@ru
label
Conditioned disjunction
@en
Disjonction conditionnée
@fr
Disjunción condicionada
@es
Умовна диз'юнкція
@uk
Условная дизъюнкция
@ru