La Disyunción Exclusiva
La Disyunción Exclusiva
La Disyunción Exclusiva
La disyunción exclusiva
En castellano (no así en latín) la disyunción es ambigua y en general sólo el contexto puede
determinar en qué sentido se la está usando. De todos modos, en el lenguaje natural hay una
tendencia a emplear la disyunción en sentido exclusivo.
La disyunción exclusiva es verdadera cuando al menos uno de los disyuntivos es verdadero, pero no
ambos. A veces se usa un símbolo especial pero esto no es necesario.
p q pwq
v v f
f v v
v f v
f f f
(p v q) . (p . q)
Por otra parte, como se observa en la tabla de verdad, la disyunción exclusiva tiene los mismos
valores que el bicondicional negado. Por lo tanto, son correctas las siguientes equivalencias
(p w q) (p q)
( p q)
(p q)
De (2) se infiere
Ahora bien, en los libros de lógica es usual interpretar las disyunciones en su sentido inclusivo. Y
una equivalencia importante es la siguiente
(p v q) ( p q)
( q p)
de este modo, sólo se puede obtener la oración (3), pero no la (4). Los siguientes son ejemplos de
disyunciones exclusivas
es claro que no pueden ser ambos disyuntivos verdaderos, y en el caso de (8) y (9) tampoco podrían
ser ambos falsos. La disyunción exclusiva permite las siguientes inferencias válidas
sin embargo, cuando la disyunción se interpreta en sentido inclusivo, sólo la primera forma es
válida
AvB
A