LA DISYUNCION
Páginas: 2 (476 palabras)
Publicado: 26 de mayo de 2015
LA DISYUNCION
En razonamiento formal, una disyunción lógica ( \or ) (en especifico, una
disyunción inclusiva) entre dos proposiciones es un conector lógico cuyo valor
de la verdad resulta enfalso 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 utilizaen 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 deconjuntos es la unión ( \cup ). En algebra Booleana, la disyunción como
operador binario entre dos variables se representa con el símbolo de más ( + ).
Dado un conjunto universal U formado por loselementos falso: F y
verdadero: V:Para dos entradas a y b, la tabla de la verdad de la función
disyuntiva es también la disyunción \lor , cuando hay dos elementos en dos
conjuntos que integran unaproposición. La tabla de la verdad es:
Más generalmente, la disyunción es una fórmula lógica que puede consistir en una
o más literales separadas mediante o. Si existe una sola literal se le consideradisyunción degenerada.
Símbolo[editar]
En la literatura especializada varía el símbolo matemático de la disyunción
lógica. Además de utilizar o, comúnmente se usa el símbolo en forma de v
(V). Porejemplo: a ∨ b significa a o b.
Todas las expresiones siguientes son disyunciones:
a∨b
¬a ∨ b
a ∨ ¬b ∨ ¬c ∨ d ∨ ¬e
La noción equivalente en teoría de conjuntos es la unión de conjuntos.
La disyunciónlógica presenta las siguientes propiedades:
1. La ley asociativa:
\forall a, b, c \in U
: \;
(a \lor b) \lor c = a \lor (b \lor c)
2. Existencia del elemento neutro:
\forall a \in U
: \;
a \lor F = a
3. Laley conmutativa:
\forall a, b \in U
: \;
a \lor b = b \lor a
4. Ley distributiva de la conjunción respecto al disyunción:
\forall a, b, c \in U
: \;
a \lor (b \land c) = (a \lor b) \land (a \lor...
En razonamiento formal, una disyunción lógica ( \or ) (en especifico, una
disyunción inclusiva) entre dos proposiciones es un conector lógico cuyo valor
de la verdad resulta enfalso 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 utilizaen 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 deconjuntos es la unión ( \cup ). En algebra Booleana, la disyunción como
operador binario entre dos variables se representa con el símbolo de más ( + ).
Dado un conjunto universal U formado por loselementos falso: F y
verdadero: V:Para dos entradas a y b, la tabla de la verdad de la función
disyuntiva es también la disyunción \lor , cuando hay dos elementos en dos
conjuntos que integran unaproposición. La tabla de la verdad es:
Más generalmente, la disyunción es una fórmula lógica que puede consistir en una
o más literales separadas mediante o. Si existe una sola literal se le consideradisyunción degenerada.
Símbolo[editar]
En la literatura especializada varía el símbolo matemático de la disyunción
lógica. Además de utilizar o, comúnmente se usa el símbolo en forma de v
(V). Porejemplo: a ∨ b significa a o b.
Todas las expresiones siguientes son disyunciones:
a∨b
¬a ∨ b
a ∨ ¬b ∨ ¬c ∨ d ∨ ¬e
La noción equivalente en teoría de conjuntos es la unión de conjuntos.
La disyunciónlógica presenta las siguientes propiedades:
1. La ley asociativa:
\forall a, b, c \in U
: \;
(a \lor b) \lor c = a \lor (b \lor c)
2. Existencia del elemento neutro:
\forall a \in U
: \;
a \lor F = a
3. Laley conmutativa:
\forall a, b \in U
: \;
a \lor b = b \lor a
4. Ley distributiva de la conjunción respecto al disyunción:
\forall a, b, c \in U
: \;
a \lor (b \land c) = (a \lor b) \land (a \lor...
Leer documento completo
Regístrate para leer el documento completo.