In logic and mathematics, or is the truth-functional operator of (inclusive) disjunction, also known as alternation; the or of a set of operands is true if and only if one or more of its operands is true. The logical connective that represents this operator is typically written as ∨ or +. is true if is true, or if is true, or if both and are true. In logic, or by itself means the inclusive or, distinguished from an exclusive or, which is false when both of its arguments are true, while an "or" is true in that case. An operand of a disjunction is called a disjunct.

Property Value
dbo:abstract
  • 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 dóna 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. (ca)
  • 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. (cs)
  • Στη μαθηματική λογική, διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές όταν ένας ή περισσότεροι από τους όρους στους οποίους ενεργεί είναι αληθής. Στη γλώσσα αντιστοιχεί στη φράση "ή", αν και συχνά η φράση "ή" έχει την έννοια της αποκλειστικής διάζευξης. Στον γραπτό λόγο συχνά χρησιμοποιείται και η γραφή "ή/και" για να τονιστεί ότι πρόκειται για απλή και όχι αποκλειστική διάζευξη. (el)
  • In logic and mathematics, or is the truth-functional operator of (inclusive) disjunction, also known as alternation; the or of a set of operands is true if and only if one or more of its operands is true. The logical connective that represents this operator is typically written as ∨ or +. is true if is true, or if is true, or if both and are true. In logic, or by itself means the inclusive or, distinguished from an exclusive or, which is false when both of its arguments are true, while an "or" is true in that case. An operand of a disjunction is called a disjunct. Related concepts in other fields are: * In natural language, the coordinating conjunction "or". * In programming languages, the short-circuit or control structure. * In set theory, union. * In predicate logic, existential quantification. (en)
  • En razonamiento formal, una disyunción lógica () (en específico, una 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. 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. (es)
  • 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. (de)
  • 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. (fr)
  • 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. (in)
  • La disgiunzione inclusiva o disgiunzione logica (simbolo , che si legge o, talvolta indicato come e/o), in matematica, è un connettivo logico attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione chiamata A o B oppure chiamata A vel B, la quale è vera solo nel caso in cui almeno una delle due proposizioni da cui è formata A e B è vera mentre è falsa quando tutte e due sono false. Quando si hanno due enunciati aperti p(x) e q(x), 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 di verità: (it)
  • 数理論理学において論理和(ろんりわ、英語: Logical disjunction)とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算である。離接(りせつ)、選言(せんげん)とも呼び、ORとよく表す。 二つの命題 P, Q に対する論理和を P ∨ Q と書き、「P または Q」と読む。後述のように、日常会話における「または」とは意味が異なる。 (ja)
  • 논리합(disjunction, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이다. 두 명제 P, Q 에 대하여 논리합은 P ∨ Q라고 기록하고 P 또는 Q라고 읽는다. (ko)
  • 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". (nl)
  • 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. (pl)
  • 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). (pt)
  • 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. (sv)
  • Дизъю́нкция (от лат. disjunctio — разобщение), логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу». Дизъюнкция может быть операцией как бинарной (имеющей два операнда), так и -арной (имеющей операндов) для произвольного . Запись может быть префиксной — знак операции стоит перед операндами (польская запись), инфиксной — знак операции стоит между операндами или постфиксной — знак операции стоит после операндов. При числе операндов более двух префиксная и постфиксная записи экономичнее. (ru)
  • 逻辑或(logical or)又称逻辑析取(logical disjunction)、邏輯選言,是逻辑和数学概念中的一个二元逻辑算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。 (zh)
  • Диз'юнкція (лат. disjunctio — розділення) (операція OR) — двомісна логічна операція, що має значення «істина», якщо хоча б один з операндів має значення «істина». Операція відображає вживання сполучника «або» в логічних висловлюваннях. Диз'юнкція є бінарною операцією, тобто, має два операнда. Запис може бути префіксним — знак операції стоїть перед операндами, інфіксним — знак операції стоїть між операндами або постфіксним — знак операції стоїть після операндів. При числі операндів більше 2-х префіксний і постфіксний записи економніші. Позначається: в математиці та логіці як , в програмуванні як | чи or.Найчастіше зустрічаються такі варіанти запису:a||b, a|b, ab, a+b, a or b. У техніці операцію диз'юнкції втілює логічний вентиль АБО. (uk)
dbo:thumbnail
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 7962 (xsd:integer)
dbo:wikiPageLength
  • 10966 (xsd:integer)
dbo:wikiPageRevisionID
  • 985332354 (xsd:integer)
dbo:wikiPageWikiLink
dbp:0Preserving
  • yes (en)
dbp:1Preserving
  • yes (en)
dbp:affine
  • no (en)
dbp:id
  • p/d033260 (en)
dbp:logicGate
  • OR_ANSI.svg (en)
dbp:monotone
  • yes (en)
dbp:otherTitles
  • OR (en)
dbp:selfDual
  • no (en)
dbp:title
  • Disjunction (en)
  • Logical disjunction (en)
dbp:vennDiagram
  • Venn0111.svg (en)
dbp:wikiPageUsesTemplate
dct:subject
rdf:type
rdfs:comment
  • 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 dóna 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. (ca)
  • 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. (cs)
  • Στη μαθηματική λογική, διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές όταν ένας ή περισσότεροι από τους όρους στους οποίους ενεργεί είναι αληθής. Στη γλώσσα αντιστοιχεί στη φράση "ή", αν και συχνά η φράση "ή" έχει την έννοια της αποκλειστικής διάζευξης. Στον γραπτό λόγο συχνά χρησιμοποιείται και η γραφή "ή/και" για να τονιστεί ότι πρόκειται για απλή και όχι αποκλειστική διάζευξη. (el)
  • 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. (fr)
  • 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. (in)
  • 数理論理学において論理和(ろんりわ、英語: Logical disjunction)とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算である。離接(りせつ)、選言(せんげん)とも呼び、ORとよく表す。 二つの命題 P, Q に対する論理和を P ∨ Q と書き、「P または Q」と読む。後述のように、日常会話における「または」とは意味が異なる。 (ja)
  • 논리합(disjunction, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이다. 두 명제 P, Q 에 대하여 논리합은 P ∨ Q라고 기록하고 P 또는 Q라고 읽는다. (ko)
  • 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". (nl)
  • 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. (pl)
  • 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). (pt)
  • 逻辑或(logical or)又称逻辑析取(logical disjunction)、邏輯選言,是逻辑和数学概念中的一个二元逻辑算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,两个变量同时为假,其结果为“假”。 (zh)
  • 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: (de)
  • In logic and mathematics, or is the truth-functional operator of (inclusive) disjunction, also known as alternation; the or of a set of operands is true if and only if one or more of its operands is true. The logical connective that represents this operator is typically written as ∨ or +. is true if is true, or if is true, or if both and are true. In logic, or by itself means the inclusive or, distinguished from an exclusive or, which is false when both of its arguments are true, while an "or" is true in that case. An operand of a disjunction is called a disjunct. (en)
  • En razonamiento formal, una disyunción lógica () (en específico, una 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. (es)
  • La disgiunzione inclusiva o disgiunzione logica (simbolo , che si legge o, talvolta indicato come e/o), in matematica, è un connettivo logico attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione chiamata A o B oppure chiamata A vel B, la quale è vera solo nel caso in cui almeno una delle due proposizioni da cui è formata A e B è vera mentre è falsa quando tutte e due sono false. Quando si hanno due enunciati aperti p(x) e q(x), l' di corrisponde all'unione tra i due insiemi di verità. In effetti, la disgiunzione gode delle stesse proprietà dell'unione. (it)
  • Дизъю́нкция (от лат. disjunctio — разобщение), логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу». Дизъюнкция может быть операцией как бинарной (имеющей два операнда), так и -арной (имеющей операндов) для произвольного . (ru)
  • 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. (sv)
  • Диз'юнкція (лат. disjunctio — розділення) (операція OR) — двомісна логічна операція, що має значення «істина», якщо хоча б один з операндів має значення «істина». Операція відображає вживання сполучника «або» в логічних висловлюваннях. Диз'юнкція є бінарною операцією, тобто, має два операнда. Запис може бути префіксним — знак операції стоїть перед операндами, інфіксним — знак операції стоїть між операндами або постфіксним — знак операції стоїть після операндів. При числі операндів більше 2-х префіксний і постфіксний записи економніші. У техніці операцію диз'юнкції втілює логічний вентиль АБО. (uk)
rdfs:label
  • Disjunció (ca)
  • Disjunkce (cs)
  • Disjunktion (de)
  • Λογική διάζευξη (el)
  • Logical disjunction (en)
  • Disyunción lógica (es)
  • Disjonction logique (fr)
  • Logika disjungsi (in)
  • Disgiunzione logica (it)
  • 論理和 (ja)
  • 논리합 (ko)
  • Logische disjunctie (nl)
  • Alternatywa (pl)
  • Disjunção lógica (pt)
  • Дизъюнкция (ru)
  • Disjunktion (sv)
  • Диз'юнкція (логіка) (uk)
  • 逻辑或 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:depiction
foaf:isPrimaryTopicOf
is dbo:wikiPageDisambiguates of
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of