Disyunción lógica

Disyunción
Diagrama de Venn 13.svg
Diagrama de Venn de
Nomenclatura
Lenguaje formal A ó B,
ó inclusivo
Operador booleano +
Operador de conjuntos
Puerta Lógica
OR ANSI Labelled.svg
Tabla de la Verdad


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 sólo si ambas proposiciones son falsas, y en cierto de cualquier otra forma.[1]​ Existen diferentes contextos donde se utiliza la disyunción lógica.

En lenguajes formales, la palabra "ó" se utiliza en español para simbolizar una disyunción lógica. Se debe distinguir entre el "ó" inclusivo y el "ó" exclusivo, este artículo se refiere al "ó" 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.

Lógica de proposiciones

Siendo el conjunto de proposiciones, y proposiciones de , se puede definir la operación binaria: disyunción, por la que a una variable de se le asigna el valor de la disyunción del par ordenado de las variables de .

Other Languages
azərbaycanca: Dizyunksiya
български: Дизюнкция
català: Disjunció
čeština: Disjunkce
Deutsch: Disjunktion
emiliàn e rumagnòl: Diśgiunsiòun lògica
Esperanto: Logika aŭo
فارسی: فصل منطقی
suomi: Disjunktio
magyar: Diszjunkció
Հայերեն: Դիզյունկցիա
Bahasa Indonesia: Logika disjungsi
日本語: 論理和
қазақша: Дизъюнкция
한국어: 논리합
lietuvių: Disjunkcija
polski: Alternatywa
Piemontèis: Disgionsion
русский: Дизъюнкция
русиньскый: Дізъюнкція
srpskohrvatski / српскохрватски: Disjunkcija sudova
Simple English: Inclusive disjunction
slovenščina: Disjunkcija
српски / srpski: Дисјункција
svenska: Disjunktion
中文: 逻辑或