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. Existen diferentes contextos dónde 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.

Leer el artículo completo en Wikipedia · CC-BY-SA

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 +. "A or B" is true if A is true, or if B is true, or if both A and B 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: \n* In natural language, the coordinating conjunction "or". \n* In programming languages, the short-circuit or control structure. \n* In set theory, union. \n* In predicate logic, existential quantification.

Leer el artículo completo en Wikipedia · CC-BY-SA