Diferencia entre revisiones de «Disyunción lógica»
Contenido eliminado Contenido añadido
m Revertidos los cambios de 190.99.249.94 a la última edición de Diegusjaimes |
|||
Línea 28:
Más generalmente la disyunción es una fórmula lógica que puede tener una o más literales separadas con "os". Una sola literal se considera una '''disyunción degenerada'''.
== Símbolo ==
El [[símbolo matemático]] para la disyunción lógica varia en la literatura. Además de utilizar "o", el símbolo en forma de "v" ("∨") es comúnmente utilizado para la disyunción. Por ejemplo: "''A'' ∨ ''B''" se lee como "''A'' o ''B''". Esta disyunción es falsa si ambas ''A'' y ''B'' son falsas a la vez. En todos los demás casos es verdadera.
Todas las expresiones siguientes son disyunciones:
''A'' ∨ ''B''<p>
¬''A'' ∨ ''B''<p>
''A'' ∨ ¬''B'' ∨ ¬''C'' ∨ ''D'' ∨ ¬''E''<p>
La noción equivalente en teoría de conjuntos es la [[unión (teoría de conjuntos)|unión]].
Y el símbolo representativo es "'''O'''" y "'''V'''"
== Asociatividad y Conmutatividad ==
| |||