Logical disjunction
http://dbpedia.org/resource/Logical_disjunction an entity of type: Thing
En lògica i matemàtiques una disjunció o disjunció lògica és un connector lògic que consisteix a presentar dues alternatives en una mateixa proposició o frase, i per tant dona com a resultat verdader si una de les dues alternatives és verdadera. Lingüísticament s'expressa com "o", per exemple, "A v B" es llig A o B.
rdf:langString
Disjunkce znamená odloučení, rozdělení, odloučené oblasti, sloučení oblastí, logický součet výroků, množinových prvků zařazených do jedné skupiny celku. Oblasti se mohou překrývat. Pojem se používá např. ve fytogeografii. Je používán v genetice – . S disjunkcí se setkáváme také v elektronice u logických obvodů, hradel či psychologii.
rdf:langString
Στη μαθηματική λογική, διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές όταν ένας ή περισσότεροι από τους όρους στους οποίους ενεργεί είναι αληθής. Στη γλώσσα αντιστοιχεί στη φράση "ή", αν και συχνά η φράση "ή" έχει την έννοια της αποκλειστικής διάζευξης. Στον γραπτό λόγο συχνά χρησιμοποιείται και η γραφή "ή/και" για να τονιστεί ότι πρόκειται για απλή και όχι αποκλειστική διάζευξη.
rdf:langString
Disjuntzioa propozizioen arteko operazio bat da: Edo rekin erlaziona daiteke eta logika propozizionala eraikitzeko beharrezkoa da. notazio aldetik "+" edo "" ikurrarekin adieraz daiteke, disjuntzioa definitzeko haren aztertu behar dira.
rdf:langString
La disjonction logique, ou disjonction non exclusive, de deux assertions est une façon d'affirmer qu'au moins une de ces deux assertions est vraie (la première, la deuxième, ou les deux). Dans le langage logique ou mathématique, et dans les domaines techniques qui l'emploient, elle se traduit par le OU logique, un opérateur logique dans le calcul des propositions. La proposition obtenue en reliant deux propositions par cet opérateur s'appelle également leur disjonction ou leur somme logique. La disjonction de deux propositions P et Q est vraie quand l'une des propositions est vraie, et est fausse quand les deux sont simultanément fausses.
rdf:langString
Dalam logika dan bidang teknik yang memakainya, disjungsi, atau atau, adalah operator logika dalam kalkulus proposisional. Hasil dari dua proposisi juga disebut disjungsi mereka. Hasil disjungsi adalah salah jika kedua proposisinya salah; jika tidak, hasilnya adalah benar.
* l
*
* s
rdf:langString
논리합(disjunction, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이다. 두 명제 P, Q에 대하여 논리합은 P ∨ Q라고 기록하고 P 또는 Q라고 읽는다.
rdf:langString
数理論理学において論理和（ろんりわ、英: logical disjunction）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接（りせつ）、選言（せんげん）とも呼ぶ。 二つの命題 P, Q に対する論理和は記号 ∨ を用いて P ∨ Q と表せる。
rdf:langString
In de logica en de wiskunde is de logische disjunctie (symbool: , OF of OR) een logische operator, waarvan de betekenis min of meer overeenkomt met het Nederlandse woord "of".
rdf:langString
Disjunção, operador ou (em inglês OR), é uma operação lógica utilizada em lógicas digitais e lógicas matemáticas. Seu operador é o símbolo ∨. Em algumas linguagens de programação, o operador normalmente é uma barra vertical (|), e em outras a disjunção é representada por duas barras verticais (||).Pode ainda ser representada pelo símbolo da soma.A disjunção está intimamente relacionada com a operação de união de conjuntos. A disjunção pode também ser exclusiva, o que não se relaciona com este artigo (ver disjunção exclusiva, XOR).
rdf:langString
Alternatywa, suma logiczna, alternatywa zwykła, alternatywa nierozłączna, alternatywa łączna – zdanie logiczne o postaci p lub q, gdzie p, q są zdaniami. W logice matematycznej alternatywę zapisuje się Alternatywa p lub q jest zdaniem prawdziwym, gdy co najmniej jedno z jej zdań składowych p, q jest prawdziwe.
rdf:langString
逻辑或（logical or）又称逻辑析取（logical disjunction）、邏輯選言，是逻辑和数学概念中的一个二元。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。
rdf:langString
Disjunktion („Oder-Verknüpfung“, von lat. disiungere „trennen, unterscheiden, nicht vermengen“) und Adjunktion (von lat. adiungere, „anfügen, verbinden“) sind in der Logik die Bezeichnungen für zwei Typen von Aussagen, bei denen je zwei Aussagesätze durch ein ausschließendes oder oder durch ein nichtausschließendes oder verbunden sind:
rdf:langString
En la logiko, la logika aŭo (esprimita per aŭ), ankaŭ nomita disjunkcio (logiko), estas (operacio), kiu nur rezultigas veran frazon, se mimimume unu (iu ajn) el frazeroj estas veraj. La operacio estadas skribita per signo | (kodo deksesuma 7C en unikodo) aŭ per signo ∨ (kodo deksesuma 2228 en unikodo, ∨ en HTML). Ĝia vertabelo do estas (uzataj valoroj estas mallongigoj de Vera kaj Falsa): La alia maniero de skribo de la sama vertabelo estas per uzo de nombro 1 por Vera kaj 0 por Falsa: Aŭo estas asocieca kaj komuta. En elektrotekniko logika kajo estas farata per paralela konekto de ŝaltiloj.
rdf:langString
En razonamiento formal y lógica proposicional, una disyunción lógica (también conocido como disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma. Existen diferentes contextos donde se utiliza la disyunción lógica. En electrónica, una puerta OR es una puerta lógica que implementa la disyunción lógica.
rdf:langString
In logic, disjunction is a logical connective typically notated as and read aloud as "or". For instance, the English language sentence "it is raining or it is snowing" can be represented in logic using the disjunctive formula , assuming that abbreviates "it is raining" and abbreviates "it is snowing".
rdf:langString
In logica, la disgiunzione inclusiva o disgiunzione logica è un connettivo logico attraverso il quale, a partire da due proposizioni, si forma una nuova proposizione. Date due proposizioni e , la disgiunzione è indicata con chiamata A o B oppure chiamata A vel B; è vera solo nel caso in cui almeno una tra e è vera mentre è falsa quando tutte e due sono false. Quando si hanno due enunciati aperti e , l' di corrisponde all'unione tra i due insiemi di verità. In effetti, la disgiunzione gode delle stesse proprietà dell'unione. La disgiunzione in algebra booleana è indicata con l'operatore OR.
rdf:langString
Disjunktion, som i satslogiken är liktydigt med inklusiv disjunktion, är en logisk operator. Generellt skiljer man inom logik och språk på inklusiv disjunktion eller svag disjunktion, som uttrycks med "eller", och exklusiv disjunktion eller stark disjunktion, som uttrycks med "antingen eller". Påståendet, p eller q, är sant om minst en av p och q är sann och påståendet, antingen p eller q, är sant om exakt en av p och q är sann. I satsen: "Te eller kaffe serveras efter desserten", uppfattas disjunktionen som stark medan den i satsen: "Pensionärer eller barn har fri entré", uppfattas som svag.
rdf:langString
Диз'юнкція (лат. disjunctio — розділення) (операція OR) — двомісна логічна операція, що має значення «істина», якщо хоча б один з операндів має значення «істина». Операція відображає вживання сполучника «або» в логічних висловлюваннях. Диз'юнкція є бінарною операцією, тобто має два операнда. Запис може бути префіксним (знак операції стоїть перед операндами), інфіксним (знак операції стоїть між операндами) або постфіксним (знак операції стоїть після операндів). За кількості операндів понад 2 префіксний і постфіксний записи економніші. У техніці операцію диз'юнкції втілює логічний вентиль АБО.
rdf:langString
Дизъю́нкция (от лат. disjunctio — «разобщение»), логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу». Дизъюнкция может быть операцией как бинарной (имеющей два операнда), так и -арной (имеющей операндов) для произвольного .
rdf:langString
rdf:langString
فصل منطقي
rdf:langString
Disjunció
rdf:langString
Disjunkce
rdf:langString
Disjunktion
rdf:langString
Λογική διάζευξη
rdf:langString
Logika aŭo
rdf:langString
Disyunción lógica
rdf:langString
Disjuntzio logiko
rdf:langString
Logika disjungsi
rdf:langString
Disjonction logique
rdf:langString
Disgiunzione logica
rdf:langString
Logical disjunction
rdf:langString
論理和
rdf:langString
논리합
rdf:langString
Logische disjunctie
rdf:langString
Disjunção lógica
rdf:langString
Alternatywa
rdf:langString
Disjunktion
rdf:langString
Дизъюнкция
rdf:langString
逻辑或
rdf:langString
Диз'юнкція (логіка)
xsd:integer
7962
xsd:integer
1122305241
rdf:langString
no
rdf:langString
Venn0111.svg
rdf:langString
p/d033260
rdf:langString
OR
rdf:langString
Disjunction
rdf:langString
Logical disjunction
rdf:langString
En lògica i matemàtiques una disjunció o disjunció lògica és un connector lògic que consisteix a presentar dues alternatives en una mateixa proposició o frase, i per tant dona com a resultat verdader si una de les dues alternatives és verdadera. Lingüísticament s'expressa com "o", per exemple, "A v B" es llig A o B.
rdf:langString
Disjunkce znamená odloučení, rozdělení, odloučené oblasti, sloučení oblastí, logický součet výroků, množinových prvků zařazených do jedné skupiny celku. Oblasti se mohou překrývat. Pojem se používá např. ve fytogeografii. Je používán v genetice – . S disjunkcí se setkáváme také v elektronice u logických obvodů, hradel či psychologii.
rdf:langString
Στη μαθηματική λογική, διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές όταν ένας ή περισσότεροι από τους όρους στους οποίους ενεργεί είναι αληθής. Στη γλώσσα αντιστοιχεί στη φράση "ή", αν και συχνά η φράση "ή" έχει την έννοια της αποκλειστικής διάζευξης. Στον γραπτό λόγο συχνά χρησιμοποιείται και η γραφή "ή/και" για να τονιστεί ότι πρόκειται για απλή και όχι αποκλειστική διάζευξη.
rdf:langString
En la logiko, la logika aŭo (esprimita per aŭ), ankaŭ nomita disjunkcio (logiko), estas (operacio), kiu nur rezultigas veran frazon, se mimimume unu (iu ajn) el frazeroj estas veraj. La operacio estadas skribita per signo | (kodo deksesuma 7C en unikodo) aŭ per signo ∨ (kodo deksesuma 2228 en unikodo, ∨ en HTML). Ĝia vertabelo do estas (uzataj valoroj estas mallongigoj de Vera kaj Falsa): La alia maniero de skribo de la sama vertabelo estas per uzo de nombro 1 por Vera kaj 0 por Falsa: Laŭbita logika kajo same operacias por ĉiu bito de du nombroj kaj produktas la rezultan nombron. Ekzemple (la nombroj estas deksesumaj) 0x567F | 0x8CA1 = 0xDEFF. Aŭo estas asocieca kaj komuta. En elektrotekniko logika kajo estas farata per paralela konekto de ŝaltiloj. En elektroniko por logika aŭo estadas specialaj , ili povas havi pli ol du enenirojn.
rdf:langString
Disjunktion („Oder-Verknüpfung“, von lat. disiungere „trennen, unterscheiden, nicht vermengen“) und Adjunktion (von lat. adiungere, „anfügen, verbinden“) sind in der Logik die Bezeichnungen für zwei Typen von Aussagen, bei denen je zwei Aussagesätze durch ein ausschließendes oder oder durch ein nichtausschließendes oder verbunden sind: 1.
* Die nicht-ausschließende Disjunktion (Alternative, Adjunktion, inklusives Oder, OR) „A oder B (oder beides)“ sagt aus, dass mindestens eine der beiden beteiligten Aussagen wahr ist. Sie ist also nur dann falsch, wenn sowohl A als auch B falsch sind. 2.
* Die ausschließende Disjunktion (Kontravalenz, exklusives Oder, XOR) „(entweder) A oder B (aber nicht beides)“ sagt aus, dass genau eine der beiden beteiligten Aussagen wahr ist (wenn die Disjunktion wahr ist). Die ausschließende Disjunktion ist daher falsch, wenn entweder beide beteiligten Aussagen falsch oder wenn beide beteiligten Aussagen wahr sind. Die ausschließende Disjunktion wird auch Kontravalenz genannt und unter diesem Stichwort näher behandelt. 3.
* Nur gelegentlich wird auch die nicht-ausschließende Disjunktion der Verneinungen der beteiligten Aussagen als Disjunktion von A und von B bezeichnet, das heißt die Aussage „nicht A oder nicht B (oder beides)“ beziehungsweise äquivalent „nicht (A und B)“. Diese Verbindung wird u. a. Shefferscher Strich, NAND oder Exklusion (im Sinne der Logik) genannt. Sie entspricht dem mengentheoretischen Begriff disjunkt. Seltener gebrauchte Bezeichnungen für die Disjunktion lauten Alternative, Kontrajunktion, Bisubtraktion und Alternation.Die mehrdeutige Verwendung von „Disjunktion“ etc. ist auf die verschiedenen Rollen des natürlich-sprachlichen oder rückführbar. Die Teilaussagen einer Disjunktion (Adjunktion) werden Disjunkte (Adjunkte) genannt, das die Teilaussagen verknüpfende Wort („oder“) wird als Disjunktor (Adjunktor) bezeichnet.
rdf:langString
Disjuntzioa propozizioen arteko operazio bat da: Edo rekin erlaziona daiteke eta logika propozizionala eraikitzeko beharrezkoa da. notazio aldetik "+" edo "" ikurrarekin adieraz daiteke, disjuntzioa definitzeko haren aztertu behar dira.
rdf:langString
En razonamiento formal y lógica proposicional, una disyunción lógica (también conocido como disyunción incluyente, disyunción débil o disyunción inclusiva) entre dos proposiciones es un conector lógico, cuyo valor de la verdad resulta en falso solo si ambas proposiciones son falsas, y en cierto de cualquier otra forma. Existen diferentes contextos donde se utiliza la disyunción lógica. En lenguajes formales, la palabra "o" se utiliza en español para simbolizar una disyunción lógica, en inglés se utiliza "or". Se debe distinguir entre el "o" inclusivo y el "o" exclusivo; este artículo se refiere al "o" inclusivo. La noción equivalente en la teoría de conjuntos es la unión. En álgebra Booleana, la disyunción como operador binario entre dos variables se representa con el símbolo de más (+). En electrónica, una puerta OR es una puerta lógica que implementa la disyunción lógica.
rdf:langString
In logic, disjunction is a logical connective typically notated as and read aloud as "or". For instance, the English language sentence "it is raining or it is snowing" can be represented in logic using the disjunctive formula , assuming that abbreviates "it is raining" and abbreviates "it is snowing". In classical logic, disjunction is given a truth functional semantics according to which a formula is true unless both and are false. Because this semantics allows a disjunctive formula to be true when both of its disjuncts are true, it is an inclusive interpretation of disjunction, in contrast with exclusive disjunction. Classical proof theoretical treatments are often given in terms of rules such as disjunction introduction and disjunction elimination. Disjunction has also been given numerous non-classical treatments, motivated by problems including Aristotle's sea battle argument, Heisenberg's uncertainty principle, as well the numerous mismatches between classical disjunction and its nearest equivalents in natural languages.
rdf:langString
La disjonction logique, ou disjonction non exclusive, de deux assertions est une façon d'affirmer qu'au moins une de ces deux assertions est vraie (la première, la deuxième, ou les deux). Dans le langage logique ou mathématique, et dans les domaines techniques qui l'emploient, elle se traduit par le OU logique, un opérateur logique dans le calcul des propositions. La proposition obtenue en reliant deux propositions par cet opérateur s'appelle également leur disjonction ou leur somme logique. La disjonction de deux propositions P et Q est vraie quand l'une des propositions est vraie, et est fausse quand les deux sont simultanément fausses.
rdf:langString
Dalam logika dan bidang teknik yang memakainya, disjungsi, atau atau, adalah operator logika dalam kalkulus proposisional. Hasil dari dua proposisi juga disebut disjungsi mereka. Hasil disjungsi adalah salah jika kedua proposisinya salah; jika tidak, hasilnya adalah benar.
* l
*
* s
rdf:langString
논리합(disjunction, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이다. 두 명제 P, Q에 대하여 논리합은 P ∨ Q라고 기록하고 P 또는 Q라고 읽는다.
rdf:langString
数理論理学において論理和（ろんりわ、英: logical disjunction）とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接（りせつ）、選言（せんげん）とも呼ぶ。 二つの命題 P, Q に対する論理和は記号 ∨ を用いて P ∨ Q と表せる。
rdf:langString
In de logica en de wiskunde is de logische disjunctie (symbool: , OF of OR) een logische operator, waarvan de betekenis min of meer overeenkomt met het Nederlandse woord "of".
rdf:langString
In logica, la disgiunzione inclusiva o disgiunzione logica è un connettivo logico attraverso il quale, a partire da due proposizioni, si forma una nuova proposizione. Date due proposizioni e , la disgiunzione è indicata con chiamata A o B oppure chiamata A vel B; è vera solo nel caso in cui almeno una tra e è vera mentre è falsa quando tutte e due sono false. Quando si hanno due enunciati aperti e , l' di corrisponde all'unione tra i due insiemi di verità. In effetti, la disgiunzione gode delle stesse proprietà dell'unione. La disgiunzione in algebra booleana è indicata con l'operatore OR. Tabella della verità:
rdf:langString
Дизъю́нкция (от лат. disjunctio — «разобщение»), логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу». Дизъюнкция может быть операцией как бинарной (имеющей два операнда), так и -арной (имеющей операндов) для произвольного . Запись может быть префиксной — знак операции стоит перед операндами (польская запись), инфиксной — знак операции стоит между операндами или постфиксной — знак операции стоит после операндов. При числе операндов более двух префиксная и постфиксная записи экономичнее.
rdf:langString
Disjunção, operador ou (em inglês OR), é uma operação lógica utilizada em lógicas digitais e lógicas matemáticas. Seu operador é o símbolo ∨. Em algumas linguagens de programação, o operador normalmente é uma barra vertical (|), e em outras a disjunção é representada por duas barras verticais (||).Pode ainda ser representada pelo símbolo da soma.A disjunção está intimamente relacionada com a operação de união de conjuntos. A disjunção pode também ser exclusiva, o que não se relaciona com este artigo (ver disjunção exclusiva, XOR).
rdf:langString
Alternatywa, suma logiczna, alternatywa zwykła, alternatywa nierozłączna, alternatywa łączna – zdanie logiczne o postaci p lub q, gdzie p, q są zdaniami. W logice matematycznej alternatywę zapisuje się Alternatywa p lub q jest zdaniem prawdziwym, gdy co najmniej jedno z jej zdań składowych p, q jest prawdziwe.
rdf:langString
Disjunktion, som i satslogiken är liktydigt med inklusiv disjunktion, är en logisk operator. Generellt skiljer man inom logik och språk på inklusiv disjunktion eller svag disjunktion, som uttrycks med "eller", och exklusiv disjunktion eller stark disjunktion, som uttrycks med "antingen eller". Påståendet, p eller q, är sant om minst en av p och q är sann och påståendet, antingen p eller q, är sant om exakt en av p och q är sann. Det finns många skillnader mellan normal användning av "eller" i talspråket och motsvarande operator i satslogiken. Ofta förutsätts någon form av naturligt eller rimligt samband mellan leden i disjunktionen i talspråket. I satsen: "Te eller kaffe serveras efter desserten", uppfattas disjunktionen som stark medan den i satsen: "Pensionärer eller barn har fri entré", uppfattas som svag.
rdf:langString
逻辑或（logical or）又称逻辑析取（logical disjunction）、邏輯選言，是逻辑和数学概念中的一个二元。其运算方法是：如果其两个变量中有一个真值为“真”，其结果为“真”，两个变量同时为假，其结果为“假”。
rdf:langString
Диз'юнкція (лат. disjunctio — розділення) (операція OR) — двомісна логічна операція, що має значення «істина», якщо хоча б один з операндів має значення «істина». Операція відображає вживання сполучника «або» в логічних висловлюваннях. Диз'юнкція є бінарною операцією, тобто має два операнда. Запис може бути префіксним (знак операції стоїть перед операндами), інфіксним (знак операції стоїть між операндами) або постфіксним (знак операції стоїть після операндів). За кількості операндів понад 2 префіксний і постфіксний записи економніші. Позначається: в математиці та логіці як , у програмуванні як | чи or.Найчастіше трапляються такі варіанти запису:a||b, a|b, ab, a+b, a or b. У техніці операцію диз'юнкції втілює логічний вентиль АБО.
rdf:langString
yes
rdf:langString
yes
rdf:langString
no
rdf:langString
OR_ANSI.svg
rdf:langString
yes
xsd:nonNegativeInteger
15717
