| dbo:abstract
|
- 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. The conditioned disjunction is also equivalent to: and has the same truth table as the ternary conditional operator ?: in many programming languages. In electronic logic terms, it may also be viewed as a single-bit multiplexer. In conjunction with truth constants denoting each truth-value, conditioned disjunction is for classical logic. Its truth table is the following: There are other truth-functionally complete ternary connectives. (en)
- En lógica, la disjunción condicionada (a veces llamada disjunción condicional) es una operador ternario conectiva lógica introducido por Church. Operandos dados p', q', y r', que representan proposiciones valoradas en la verdad, el significado de la disyunción condicionada [p, q, r] viene dado por: Es decir, [p, q, r] es equivalente a: "si q entonces p, sino r ", o " p o r, de acuerdo de q o no q". Esto también puede ser declarado como "q implica p, y no q implicar". Por lo tanto, para cualquier valor de p, q, y r, el valor de [p, q, r] es el valor de p cuando q es verdad, y es el valor de r de otra manera. La disyunción condicionada es también equivalente a: y tiene la misma tabla de verdad que el operador operador ternario en muchos lenguajes de programación. En términos de lógica electrónica, también puede ser visto como un multiplexor de un solo bit. En conjunción con las constantes de verdad que denotan cada valor de verdad, la disyunción condicionada es una verdad funcionalmente completa para la lógica clásica . Su tabla de verdad es la siguiente: Hay otros conectivos ternarios funcionalmente completos de la verdad. (es)
- En logique, une disjonction conditionnée (parfois appelée disjonction conditionnelle) est un connecteur logique ternaire introduit par Church. Étant donné les opérandes p, q, et r, qui représentent des propositions ayant une valeur de vérité, la signification de la disjonction conditionnée [p, q, r] est donnée par : où [p, q, r] est équivalent à: « si q alors p, sinon r », ou « p ou r, selon que q ou non q ». Cela peut aussi être déclaré comme « q implique p, et non q implique r ». Ainsi, pour n'importe quelle valeur de p, q, et r, la valeur de [p, q, r] est la valeur de p quand q est vraie, autrement, il prendra la valeur de r. La disjonction conditionnée est également équivalente à: et a la même table de vérité en tant que l'opérateur « ternaire » (?:) dans de nombreux langages de programmation. Sa table de vérité est la suivante: Il existe d'autres connecteurs ternaires complet. (fr)
- Условная дизъюнкция — тернарная (имеющая 3 операнда) логическая операция, введенная Алонзо Чёрчем. Результат условной дизъюнкции аналогичен результату более общей тернарной условной операции (<b>if</b> o1 <b>then</b> o2 <b>else</b> o3), которая в том или ином виде используется в большинстве языков программирования как один из способов реализации ветвления в алгоритмах. Для операндов p, q и r, которые определяют истинность суждения, значение условной дизъюнкции [p, q, r] определяется по формуле: Другими словами, запись [p, q, r] эквивалентна записи: «Если q, то p, иначе r», которую можно переписать как «p или r, в зависимости от q или не q». Таким образом, для любых значений p, q и r значение [p, q, r] равно p, если q истинно, и равно r в противном случае. В сочетании с константами, обозначающими каждое истинное значение, условная дизъюнкция является функционально полной для классической логики. Её таблица истинности выглядит следующим образом: Помимо условной дизъюнкции существуют и другие функционально полные тернарные операции. (ru)
- У логіці, умовна диз'юнкція — це потрійна логічна операція, представлена Алонзо Черчем. Використаймо операнди p, q і r, які представляють істинне значення судження; зміст умовної диз'юнкції визначимо за формулою: Вираз [p, q, r] можна пояснити як «якщо q то p, інакше r» або «p або r, залежно від того q чи не q». Отже, при будь-яких значеннях p, q і r, вираз [p, q,r] набуває значення р, коли q є істинним, і значення r в іншому випадку. Для прикладу побудуймо таблицю істинності для умовної диз'юнкції(для [p, q,r]), вона матиме такий вигляд: (uk)
|
| rdfs:comment
|
- У логіці, умовна диз'юнкція — це потрійна логічна операція, представлена Алонзо Черчем. Використаймо операнди p, q і r, які представляють істинне значення судження; зміст умовної диз'юнкції визначимо за формулою: Вираз [p, q, r] можна пояснити як «якщо q то p, інакше r» або «p або r, залежно від того q чи не q». Отже, при будь-яких значеннях p, q і r, вираз [p, q,r] набуває значення р, коли q є істинним, і значення r в іншому випадку. Для прикладу побудуймо таблицю істинності для умовної диз'юнкції(для [p, q,r]), вона матиме такий вигляд: (uk)
- 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. (en)
- En lógica, la disjunción condicionada (a veces llamada disjunción condicional) es una operador ternario conectiva lógica introducido por Church. Operandos dados p', q', y r', que representan proposiciones valoradas en la verdad, el significado de la disyunción condicionada [p, q, r] viene dado por: La disyunción condicionada es también equivalente a: y tiene la misma tabla de verdad que el operador operador ternario en muchos lenguajes de programación. En términos de lógica electrónica, también puede ser visto como un multiplexor de un solo bit. (es)
- En logique, une disjonction conditionnée (parfois appelée disjonction conditionnelle) est un connecteur logique ternaire introduit par Church. Étant donné les opérandes p, q, et r, qui représentent des propositions ayant une valeur de vérité, la signification de la disjonction conditionnée [p, q, r] est donnée par : La disjonction conditionnée est également équivalente à: et a la même table de vérité en tant que l'opérateur « ternaire » (?:) dans de nombreux langages de programmation. Sa table de vérité est la suivante: Il existe d'autres connecteurs ternaires complet. (fr)
- Условная дизъюнкция — тернарная (имеющая 3 операнда) логическая операция, введенная Алонзо Чёрчем. Результат условной дизъюнкции аналогичен результату более общей тернарной условной операции (<b>if</b> o1 <b>then</b> o2 <b>else</b> o3), которая в том или ином виде используется в большинстве языков программирования как один из способов реализации ветвления в алгоритмах. Для операндов p, q и r, которые определяют истинность суждения, значение условной дизъюнкции [p, q, r] определяется по формуле: Помимо условной дизъюнкции существуют и другие функционально полные тернарные операции. (ru)
|
