Ejemplos de disyuncin:

1) Sea p = Voy al cine, q = Voy a cenar, c = Gastar algo de dinero.

p^q => c
Si voy al cine o voy a cenar entonces gastar algo de dinero; la conclusin de gastar
algo de dinero es verdadera si la persona va al cine aunque no vaya a cenar, pero
tambin es verdadera si solamente va a cenar y no va al cine.
La nica forma en que la conclusin de gastar algo de dinero sea falsa, es que no vaya
la cine ni a cenar.
2) Sea p = Camino bajo la lluvia, q= Me mojan con una manguera, c= Estar mojado.
p^q=>c
Si camino bajo la lluvia o me mojan con una manguera entonces estar mojado: la
conclusin en esto es que si camino bajo la lluvia es verdad que estar mojado, pero
tambin es verdadera si me mojan con una manguera aunque no camine bajo la lluvia.
Si camino bajo la lluvia y me mojan con una manguera la disyuncin es verdadera. La
nica forma en que no estar mojado es que no camine bajo la lluvia, ni me mojen con
una manguera.
3) Sea p=El foco verde est encendido
corriente elctrica

q = El foco rojo est encendido c = Hay

p^q=>c
Si el foco verde est encendido o el foco rojo est encendido entonces hay corriente
elctrica, por lo tanto la afirmacin es verdadera.
Esta afirmacin es verdadera siempre que uno de los dos focos o ambos estn
encendidos, si los dos estn apagados entonces no hay corriente elctrica.
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:

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.
Ejemplo de la disyuncin
Sea p: "El mayordomo cometi el crimen", q: "El pintor cometi el crimen" y r: "La sirvienta cometi el
crimen a.
Qu Dice p q?b.
Qu d i c e ( p q ) r ?
Solucin:
a. p q: "O el mayordomo o el pintor cometieron el crimen Fjate que esto no excluye la posibilidad de que
tanto el mayordomo y el pintor cometieran el crimen, ni que ambos fueran, de hecho, la misma persona. La
nica forma de que p q sea falso es que ni el mayordomo ni el pintor cometieran elcrimen.b. (p q) r: "O
el mayordomo o el pintor cometieron el crimen, pero no la sirvienta".