Disyunción lógica

Carta Poco común · N.º 135715

En razonamiento formal y lógica proposicional, una disyunción lógica ( ∨ {\displaystyle \lor } ) (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 lenguajes formales, la palabra "o" se utiliza en español para simbolizar una disyunción lógica, en inglés se utiliza "or". 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 ( ∪ {\displaystyle \cup } ). 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…

Leer en Wikipedia · Imagen Dnu72, CC BY-SA 4.0