DISYUNCIN

La disyuncin es un operador que opera sobre dos valores de verdad,

tpicamente los valores de verdad de dos proposiciones, devolviendo el valor
de verdad verdadero cuando una de las proposiciones es verdadera, o
cuando ambas lo son, y falso cuando ambas son falsas.

Disyuncin Inclusiva
Dadas dos proposiciones p y q, se denomina disyuncin inclusiva de estas
proposiciones a la proposicin:

Establece que la disyuncin inclusiva es verdadera si al menos una de las

dos proposiciones de las componentes es verdadera. Cuando todas ellas son
falsa, la proposicin resultante es falsa.

Es verdadera si al menos una de las variables atmicas es verdadera. Se

puede decir que solamente cuando las variables atmicas son falsas es que
la proposicin resultante da falsa.

Ejemplos:
Sea la proposicin molecular: "El cielo es azul o 12 es un nmero par"
p = "El cielo es azul" (verdadera) , q = "12 es un nmero par" (verdadera)
por ser ambas verdadera la disyuncin inclusiva entre ellas es verdadera.
Sea la proposicin molecular: "El nmero 1 es el elemento neutro de la
suma o 44 es un nmero par"
p = "El nmero 1 es el elemento neutro de la suma" (falsa) , q = "44 es un
nmero par" (verdadera)
Por tanto, la disyuncin inclusiva entre ellas es verdadera, ya que una de
ellas es verdadera.
Sea la proposicin molecular: "La navidad se celebra en agosto o 13 es un
nmero par"
p = "La navidad se celebra en agosto" (verdadera) , q = "13 es un nmero
par" (falsa)
Por tanto, la disyuncin inclusiva entre ellas es falsa, ya que ambas no son
simultneamente falsa.

Disyuncin exclusiva.
Dadas dos proposiciones p y q, se denomina disyuncin exclusiva de estas
proposiciones a la proposicin:

Establece que la disyuncin exclusiva es verdadera si slo una de las dos

proposiciones de las componentes es verdadera. Cuando todas ellas son
falsa, todas son verdaderas la proposicin resultante es falsa.

es falsa
Es verdadera si slo una de las variables atmicas es verdadera. Cuando las
dos son falsas o las dos son verdaderas entonces la proposicin resultante
es falsa.

Ejemplos:
Sea la proposicin molecular: "O uno es el elemento neutro de la
multiplicacin o 12 es un nmero par"
p = "uno es el elemento neutro de la multiplicacin " (verdadera) , q = "12
es un nmero par" (verdadera)
Por ser ambas verdadera la disyuncin exclusiva entre ellas es falsa.
Sea la proposicin molecular: "O la navidad se celebra en diciembre o 13 es
un nmero par"
p = "La navidad se celebra en diciembre" (verdadera) , q = "13 es un
nmero par" (falsa)
Por tanto, la disyuncin exclusiva entre ellas es verdadera, ya que ambas no
son simultneamente verdaderas.
Sea la proposicin molecular: "O los carnavales se celebran en agosto o 15
es un nmero par"
p = "los carnavales se celebran en agosto" (falsa) , q = "15 es un nmero
par" (falsa)
Por tanto, la disyuncin exclusiva entre ellas es falsa, ya que ambas son
falsas.
EJEMPLOS:

p = El numero 2 es par

q = la suma de 2 + 2 es 4

entonces

pvq: El numero 2 es par o la suma de 2 + 2 es 4

p = La raz cuadrada del 4 es 2

q = El numero 3 es par

entonces

pvq: La raz cuadrada del 4 es 2 o el numero 3 es par