e/Logical disjunction

New Query

Information
has glosseng: In logic and mathematics, or, also known as logical disjunction or inclusive disjunction, is a logical operator that results in true whenever one or more of its operands are true. E.g. in this context, "A or B" is true if A is true, or if B is true, or if both A and B are true. In grammar, or is a coordinating conjunction. In ordinary language "or" sometimes has the meaning of exclusive disjunction.
has glosseng: Inclusive disjunction (also called or) is a Logic operation. It normally takes two inputs. It is false, when both inputs are false. Otherwise it is true.
lexicalizationeng: Inclusive disjunction
lexicalizationeng: logical disjunction
instance of(noun) an operation that follows the rules of Boolean algebra; each operand and the result take one of two values
binary arithmetic operation, boolean operation, binary operation
Meaning
Bosnian
has glossbos: Disjunkcija sudova je sud koji dobijemo kada povežemo dva suda sa P v Q - P ili Q
lexicalizationbos: Disjunkcija sudova
Bulgarian
has glossbul: Логическа дизюнкция в логиката и математиката е операция, чийто резултат е истина тогава и само тогава, когато поне един от операндите ѝ е истина. Като логически оператор операцията се изписва като „или“.
lexicalizationbul: Логическа дизюнкция
Catalan
has glosscat: La disjunció consisteix a presentar dues alternatives en una mateixa proposició o frase. Lingüísticament s'expressa amb una conjunció disjuntiva, com "o" ("Vols aigua o vi?"), mentre que a la lògica se simbolitza amb el connector ∨ (per exemple P ∨ Q), que deriva de vel (paraula llatina per designar "o"). En una disjunció només que es doni una de les possibilitats ja té valor de veritat de certesa.
lexicalizationcat: disjunció
Czech
has glossces: 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říklad ve fytogeografii. Je používán v genetice – disjunkce chromosomů. S disjunkcí se setkávme v elektronice u logických obvodů, hradel.
lexicalizationces: disjunkce
Danish
has glossdan: Disjunktion er en betegnelse i logik og matematik for et udsagn eller en funktion, der resulterer i værdien falsk, når begge operander er falske og ellers værdien sand.
lexicalizationdan: Disjunktion
German
has glossdeu: Disjunktion („Oder-Verknüpfung“, von lat. disiungere „trennen, unterscheiden, nicht vermengen“), Alternative 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 nicht ausschließendes oder, oder durch ein ausschließendes oder verbunden sind:
lexicalizationdeu: Disjunktion
Modern Greek (1453-)
has glossell: Στη μαθηματική λογική, διάζευξη είναι ο λογικός τελεστής που δίνει αποτέλεσμα αληθές όταν ένας ή περισσότεροι από τους όρους στους οποίους ενεργεί είναι αληθής. Στη γλώσσα αντιστοιχεί στη φράση "ή", αν και συχνά η φράση "ή" έχει την έννοια της αποκλειστικής διάζευξης. Στον γραπτό λόγο συχνά χρησιμοποιείται και η γραφή "ή/και" για να τονιστεί ότι πρόκειται για απλή και όχι αποκλειστική διάζευξη.
lexicalizationell: Λογική διάζευξη
Esperanto
has glossepo: En la logiko, la logika aŭo (esprimita per aŭ) estas logika konektilo (operacio), kiu nur rezultigas veran frazon, se mimimume unu (iu ajn) el frazeroj estas veraj.
lexicalizationepo: logika aŭo
Estonian
has glossest: ---- Disjunktsioon ehk loogiline liitmine on binaarne loogikatehe: lausete A ja B disjunktsioon A\veeB loetakse vääraks parajasti siis, kui laused A ja B on mõlemad väärad ning tõeseks kõigil muudel juhtudel.
lexicalizationest: disjunktsioon
Persian
has glossfas: در منطق ویا ریاضیات، فصل منطقی یا همان «یا» یک عملگر منطقی دوتایی است، که نتیجه آن در صورتی که حداقل یکی از عملوندهای آن درست باشد درست خواهد بود و در غیر این صورت نادرست است. منابع *
lexicalizationfas: فصل منطقی
French
has glossfra: La disjonction logique, ou disjonction non exclusive de deux assertions est une façon daffirmer quau moins une de ces deux assertions est vraie (la première, la deuxième, ou les deux).
lexicalizationfra: Disjonction Logique
Serbo-Croatian
has glosshbs: Disjunkcija sudova je sud koji dobijemo kada povežemo dva suda sa P v Q - P ili Q
lexicalizationhbs: Disjunkcija sudova
Hebrew
has glossheb: בלוגיקה מתמטית, או או דיסיונקציה הוא קשר לוגי בינארי המתאים לשני פסוקים או לשתי תבניות פסוק או תבנית שהם אמיתיים כאשר לפחות אחד משני המרכיבים אמיתי. בכך שונה המשמעות של או בתחום הלוגיקה מהשימוש היומיומי במונח, השולל את האפשרות שהטענות יהיו שתיהן נכונות (נלך לסרט או למסעדה שולל את האפשרות של הליכה לסרט ולמסעדה גם יחד). או כזה, שאינו מתקיים כאשר שתי הטענות נכונות, נקרא בלוגיקה או מוציא (XOR). הסימון המקובל בלוגיקה לקשר זה הוא A \or B כאשר A ו- B מסמנים את הפסוקים/תבניות הבסיסיים.
lexicalizationheb: או
Hungarian
has glosshun: A matematikai logikában diszjunkció vagy más néven logikai vagy alatt egy olyan kétváltozós logikai műveletet értünk, amelynek a logikai értéke pontosan akkor hamis, ha mind a két operandusának hamis a logikai értéke. Nem tévesztendő össze a kizáró vaggyal.
lexicalizationhun: diszjunkció
Indonesian
has glossind: 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.
lexicalizationind: Logika disjungsi
Italian
has glossita: La disgiunzione inclusiva è un connettivo logico (o), attraverso il quale, a partire da due proposizioni A e B, si forma una nuova proposizione chiamata A o B oppure A vel B A\vee 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), linsieme di verità di p(x) \vee q(x) corrisponde allunione tra i due insiemi di verità. In effetti, la disgiunzione gode delle stesse proprietà dell'unione.
lexicalizationita: Disgiunzione inclusiva
Japanese
has glossjpn: 数理論理学において論理和(ろんりわ、)とは、与えられた複数の命題のいずれか少なくとも一つが真であることを示す論理演算である。離接(りせつ)、選言(せんげん)とも呼び、ORとよく表す。
lexicalizationjpn: 論理和
Korean
has glosskor: 수리 논리학에서 논리합이란 주어진 복수 명제에 적어도 1개 이상의 참이 있는지를 나타내는 논리 연산이다. OR라고도 한다.
lexicalizationkor: 논리합
Lithuanian
has glosslit: Disjunkcija – loginis veiksmas, sujungiantis du ar daugiau teiginių, ir yra atliekamas vartojant jungtuką „arba“. Naujas sudėtinis teiginys bus klaidingas tik tada, kai klaidingi visi jį sudarantys teiginiai. Visais kitais atvejais jis teisingas.
lexicalizationlit: Disjunkcija
Macedonian
has glossmkd: Во математиката, логичка дисјункција (знак или) е логички оператор кој резултира во вистинитост доколку еден од операндите се вистинити.
lexicalizationmkd: логичка дисјункција
Dutch
has glossnld: In de logica en de wiskunde is de logische disjunctie (symbool: ∨, OF of OR) is een logische operator, wiens betekenis ongeveer overeenkomt met de betekenis van het Nederlandse woord "of".
lexicalizationnld: logische disjunctie
Norwegian
has glossnor: Inklusiv disjunksjon, adjunksjon eller logisk eller er en viktig sannhetsfunksjon i setningslogikken (latin dis = «fra hverandre», ad = «til» og junctio = «forbindelse»). Disjunksjonen av to eller flere utsagn er sann hvis og bare hvis minst ett av disse utsagnene er sant. Den symbolske skrivemåten for disjunksjonen av to utsagn A og B er :\mathbf A \lor \mathbf B og uttales som «A eller B». I noen programmeringsspråk eller andre sammenhenger der særtegn ikke kan brukes, skrives også plusstegnet («+») istedenfor «\lor». Plusstegn brukes fordi disjunksjon har flere fellestrekk med addisjon, men må ikke leses som eller forveksles med og.
lexicalizationnor: Inklusiv disjunksjon
Piemontese
has glosspms: La disgionsion o disgionsion anclusiva o ancor disgionsion nen esclusiva a lé noperassion lògica, ëd sòlit denotà con ël sìmbol \vee .
lexicalizationpms: disgionsion
Polish
has glosspol: W logice matematycznej Alternatywa lub suma logiczna - to w logice matematycznej: # Działanie dwuargumentowe określone w dowolnym zbiorze zdań bądź w zbiorze funkcji zdaniowych, które zdaniom (funkcjom zdaniowym) p i q przypisuje zdanie (funkcję zdaniową) prawdziwe wtedy i tylko wtedy gdy prawdziwe jest przynajmniej jedno ze zdań (funkcji) p i q # Dwuargumentowy spójnik zdaniowy, oznaczany p\,\or\,q (łac. p\mbox vel }q) o znaczeniu odpowiadającemu wyżej zdefiniowanemu działaniu określonemu w zbiorze A\ni p,q . Od poprzedniej definicji różni się tym, że jest definiowany na poziomie syntaktycznym, dzięki czemu unika się określania jego dziedziny. # Zdanie logiczne postaci p\,\or\,q, gdzie p i q są zdaniami.
lexicalizationpol: alternatywa
Portuguese
has glosspor: Disjunção ou operador "ou" é um operador lógico utilizado na lógica matemática, intimamente ligado ao conceito de união de conjuntos numéricos. É representada tecnicamente pelo símbolo ∨, em programação por | ou ||.
lexicalizationpor: disjunção lógica
Moldavian
has glossron: În logică şi matematică, disjuncţia logică (scrisă or) este un operator logic care dă valoarea de adevărat dacă cel puţin unul dintre operanzi este adevărat. Dacă se folosesc valori booleene pentru adevărat (1) şi fals (0), atunci: : a \vee b = a + b - ab .
lexicalizationron: Disjuncţie logică
lexicalizationron: Disjuncție logică
Russian
has glossrus: Дизъю́нкция — (лат . disjunctio - разобщение) логическая операция, по своему применению максимально приближённая к союзу «или» в смысле «или то, или это, или оба сразу». Синонимы: логи́ческое «ИЛИ», включа́ющее «ИЛИ», логи́ческое сложе́ние, иногда просто «ИЛИ».
lexicalizationrus: Дизъюнкция
Slovak
has glossslk: Logická disjunkcia (používa sa pre ňu symbol ∨) je výroková spojka, ktorej hodnota je pravda práve vtedy, keď aspoň jeden zo vstupných operandov je pravda.
lexicalizationslk: Disjunkcia
Slovenian
has glossslv: V matematični logiki je disjunkcija dvočlena logična operacija med izjavami. Izraz disjunkcija izhaja iz latinske besede disjunctio, ki pomeni nasprotje. Znak za disjunkcijo je ∨ (beri: ali). Disjunkcija izjav A in B je izjava A∨B, ki je pravilna, samo če je vsaj eden od operandov pravilen, drugače pa je napačna.
lexicalizationslv: disjunkcija
Castilian
has glossspa: En matemáticas, una disyunción lógica (comúnmente conocida como O, ó \or ) es un operador lógico que resulta en verdadero si cualquiera de los operadores es verdadero.
lexicalizationspa: Disyuncion logica
lexicalizationspa: disyunción lógica
Serbian
has glosssrp: У логици и математици, дисјункција је логички оператор који враћа вредност тачно, ако су само један или више операнда тачни, а нетачно ако ниједан операнд није тачан.
lexicalizationsrp: дисјункција
Swedish
has glossswe: En logisk disjunktion förenar två påståenden till ett nytt påstående med betydelsen att något av påståendena gäller. Disjunktion motsvaras i det svenska språket av ordet "eller" i två betydelser. När man säger "Du kan få en kopp kaffe eller te om du vill" menar man vanligen antingen en kopp kaffe eller en kopp te, inte både och. När man säger att "det är dåligt väder när det regnar eller blåser" menar man vanligen att det är dåligt väder även när det regnar och blåser. I logiska sammanhang skiljs dessa betydelser åt som en exklusiv disjunktion (antingen p eller q men ej båda) och en inklusiv disjunktion (p eller q eller båda).
lexicalizationswe: Disjunktion
Thai
has glosstha: การเลือกเชิงตรรกศาสตร์ (logical disjunction) หรือที่มักเรียกว่า หรือ (or) คือตัวดำเนินการทางตรรกศาสตร์ที่ให้ผลลัพธ์เป็นจริง ถ้าตัวถูกดำเนินการบางตัว (หรือทั้งสองตัว) มีค่าเป็นจริง
lexicalizationtha: การเลือกเชิงตรรกศาสตร์
Ukrainian
has glossukr: Диз'юнкція ( — розділення, відміна) — одна з логічних операцій, що має значення «істина», якщо хоча б один з операндів має значення «істина». Іншими словами, операція відображає вживання сполучника «або» в логічних висловлюваннях.
lexicalizationukr: Диз'юнкція
Chinese
has glosszho: 逻辑或又称逻辑析取,是逻辑和数学概念中的一个二元逻辑算符。其运算方法是:如果其两个变量中有一个真值为“真”,其结果为“真”,否则其结果为“假”。
lexicalizationzho: 逻辑或
Media
media:imgAND-Gatter.svg
media:imgBramka log OR.svg
media:imgGate2.gif
media:imgOR ANSI Labelled.svg
media:imgOR gate IEC and IEEE.svg
media:imgOR-Gatter.png
media:imgORGate2.png
media:imgVenn-Diagram-OR.png
media:imgVenn0111.svg

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)


Lexvo © 2008-2024 Gerard de Melo.   Contact   Legal Information / Imprint