出典:Wikipedia
出典:『Wikipedia』 (2009/12/03 01:33 UTC 版)
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: