Facultad de Ingeniería industrial

Materia: matemática discreta

Nombre: Johanna Narcisa Plúas Ronquillo

Profesora: RODAS SOTO PATRICIA ESTEFANNY

La disyunción exclusiva con símbolo △△ es un conectivo lógico que une dos

proposiciones pp y qq formando una nueva proposición p△q p△q de tal manera
que su validez es falsa si las proposiciones pp y qq tienen el mismo valor de
verdad, en caso contrario, resulta ser verdadera si las
proposiciones pp y qq tienen valores de verdad opuesto.
Estas diferencias son necesarias porque existen situaciones donde podemos
ver que no siempre la misma validez de sus proposiciones que la componen
nos puede dar siempre una misma validez general de la proposición matriz, es
decir, un enunciado puede ser verdadero o falso con los mismos valores de
verdad de sus variables proposicionales que la componen.

Una proposición formada jerárquicamente por una disyunción exclusiva de

ahora en adelante lo llamaremos proposición exclusiva.

Si encontramos la definición de disyuntiva en algún diccionario gramatical,

encontramos conceptos semejantes entre ellas como:

 Alternativa entre dos o más opciones por las cuales hay que decidirse.
 Alternativa entre dos cosas por el cual hay que optar por una.
 Alternativa entre dos cosas opuestas de las que debemos optar.
La primera hace referencia a la disyunción inclusiva, y las dos últimas a la
disyunción exclusiva.

Describo este punto para que pueda entenderse la disyunción y su significado,

finalidad y razonamiento. Por lo general, cuando tratamos simplemente de la
disyunción lógica, hacemos referencia a la disyunción inclusiva.

Ejemplo

Aquí tenemos algunos ejemplos de una proposición exclusiva.

o O estas enfermo o estás saludable.

o O bien es falso o bien es verdadero.
o O estas en inmóvil o estás en movimiento.
Estas proposiciones tiene un límite, sólo son verdaderas si y solo si una única
variable proposicional (proposición simple) que la compone es verdadera.

Tabla de verdad de La disyunción exclusiva

Existe otra simbolización lógica de este tipo de disyunción, pues, resulta ser
opuesta a la bicondicional lógica (↔)(↔), por ello, también podemos
representarlo con este símbolo ↮↮, la tabla de verdad de la
disyunción exclusiva es:

P Q P Q
V V F
V F V
F V V
F F F

Algunas leyes de la disyunción exclusiva

 Ley asociativa: (p△q)△r=p△(q△r)(p△q)△r=p△(q△r).

 Ley conmutativa: p△q=q△pp△q=q△p.
 Ley distributivas con la conjunción
lógica: p∧(q△r)=(p∧q)△(p∧r)
La disyunción inclusiva con símbolo ∨∨ es un conectivo lógico que une dos
proposiciones pp y qq formando una nueva proposición p∨q p∨q de tal manera
que su valor de verdad es falsa si las proposiciones pp y qq resulta ser falsas,
en caso contrario resulta ser verdadera si al menos una de sus proposiciones
componentes es verdaderas.

Por lo general, a la disyunción inclusiva también se le llama disyunción

lógica, de ahora en adelante toda proposición formada
jerárquicamente por una disyunción inclusiva se le llamará proposición
inclusiva.

Según la definición que acabamos de proponer para el significado del

símbolo ∨∨ (que literalmente se escribe con la vocal «o»), una
proposición inclusiva deben tener 3 posibles elecciones para indicar
que es verdadera y una que nos puede dar como falsa. Veamos
algunos ejemplos.
Ejemplo

o El número 2 es real o entero.

o Los gatos tiene cuatro patas o tienen cola.
o Leo un libro usando una gorra o sentado.

Para cualquiera de estos ejemplos es posible que cualquiera de las

proposiciones simples de estas proposiciones inclusivas se pueda
realizar simultáneamente como también elegir solo una de ellas.

En base a estos ejemplos confeccionamos la siguiente tabla de

valores de verdad de la disyunción inclusiva.

P Q PVQ
V V V
V F V
F V V
F F F
Algunas leyes lógicas de la disyunción inclusiva

De la misma manera que la conjunción lógica, la disyunción inclusiva también

posee una serie de propiedades y leyes lógicas importantes, aquí la
enumeramos.

Sean las proposiciones pp, qq y rr tenemos: