About: Logical disjunction     Goto   Sponge   NotDistinct   Permalink

An Entity of Type : yago:Symbol106806469, within Data Space : dbpedia.org associated with source document(s)
QRcode icon
http://dbpedia.org/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FLogical_disjunction

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".

AttributesValues
rdf:type
rdfs:label
  • فصل منطقي (ar)
  • Disjunció (ca)
  • Disjunkce (cs)
  • Disjunktion (de)
  • Λογική διάζευξη (el)
  • Logika aŭo (eo)
  • Disyunción lógica (es)
  • Disjuntzio logiko (eu)
  • Logika disjungsi (in)
  • Disjonction logique (fr)
  • Disgiunzione logica (it)
  • Logical disjunction (en)
  • 論理和 (ja)
  • 논리합 (ko)
  • Logische disjunctie (nl)
  • Disjunção lógica (pt)
  • Alternatywa (pl)
  • Disjunktion (sv)
  • Дизъюнкция (ru)
  • 逻辑或 (zh)
  • Диз'юнкція (логіка) (uk)
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 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. (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 či psychologii. (cs)
  • Στη μαθηματική λογική, διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές όταν ένας ή περισσότεροι από τους όρους στους οποίους ενεργεί είναι αληθής. Στη γλώσσα αντιστοιχεί στη φράση "ή", αν και συχνά η φράση "ή" έχει την έννοια της αποκλειστικής διάζευξης. Στον γραπτό λόγο συχνά χρησιμοποιείται και η γραφή "ή/και" για να τονιστεί ότι πρόκειται για απλή και όχι αποκλειστική διάζευξη. (el)
  • 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. (eu)
  • 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. * l * * s (in)
  • 논리합(disjunction, 論理合, OR)이란 수리 논리학에서 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이다. 두 명제 P, Q에 대하여 논리합은 P ∨ Q라고 기록하고 P 또는 Q라고 읽는다. (ko)
  • 数理論理学において論理和(ろんりわ、英: logical disjunction)とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す命題を作る論理演算である。離接(りせつ)、選言(せんげん)とも呼ぶ。 二つの命題 P, Q に対する論理和は記号 ∨ を用いて P ∨ Q と表せる。 (ja)
  • 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)
  • 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)
  • 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)
  • 逻辑或(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)
  • 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. (eo)
  • 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. (es)
  • 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". (en)
  • 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. (it)
  • 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)
  • Дизъю́нкция (от лат. disjunctio — «разобщение»), логи́ческое сложе́ние, логи́ческое ИЛИ, включа́ющее ИЛИ; иногда просто ИЛИ — логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу». Дизъюнкция может быть операцией как бинарной (имеющей два операнда), так и -арной (имеющей операндов) для произвольного . (ru)
foaf:depiction
  • http://commons.wikimedia.org/wiki/Special:FilePath/OR_ANSI.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Or-gate-en.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Venn0111.svg
  • http://commons.wikimedia.org/wiki/Special:FilePath/Venn_0111_1111.svg
dcterms:subject
Wikipage page ID
Wikipage revision ID
Link from a Wikipage to another Wikipage
Faceted Search & Find service v1.17_git139 as of Feb 29 2024


Alternative Linked Data Documents: ODE     Content Formats:   [cxml] [csv]     RDF   [text] [turtle] [ld+json] [rdf+json] [rdf+xml]     ODATA   [atom+xml] [odata+json]     Microdata   [microdata+json] [html]    About   
This material is Open Knowledge   W3C Semantic Web Technology [RDF Data] Valid XHTML + RDFa
OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (61 GB total memory, 42 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software