EQUIPO 1

“DISYUNCIÓN DE PROPOSICIONES”
CUANTIFICADOR UNIVERSAL Y CUANTIFICADOR EXISTENCIAL
PENSAMIENTO MATEMÁTICO

INTEGRANTES DEL EQUIPO: Docente:

 María José Peralta Pérez. M.C. Ricardo Arias Palacios.
 Luis Ángel Ruiz Castro.
 Dafne Michelle Acosta Duque. Cunduacán, Tabasco, México.
 José Ignacio Martínez González. 12 de Octubre del año 2022.
 DISYUNCIÓN
DE
PROPOSICIONE
 DISYUNCIÓN DE
PROPOSICIONES
¿Qué
es?
Las proposiciones nos da la alternativa o posibilidad de escoger la validez de una o
varias de sus proposiciones simples en cuanto a sus valores de verdad, es decir, la
disyunción lógica.

Entre todos los conectivos lógicos que se conoce, la disyunción tiene doble significado y
en matemáticas es necesario diferenciarlo simbólicamente, se les puede diferenciar
como disyunción inclusiva y exclusiva.
 DISYUNCIÓN DE
PROPOSICIONES
Ejempl
o
La disyunción es verdadera si una de las dos proposiciones o ambas, son verdaderas.
Ejemplo en la tabla siguiente
p q p^q
F F F
V F V
F V V
V V V

La disyunción de dos proposiciones es falsa cuando ambas proposiciones son falsas

 DISYUNCIÓN DE
PROPOSICIONES
Ejemplo
1
Sea p = Voy al cine, q = Voy a cenar, c = Gastaré algo de dinero.

p^q = c

Es decir que si voy al cine o voy a cenar en ambas proposiciones gastare dinero. Por
lo tanto, gastare dinero (v), si voy al cine (v) aunque no vaya a cenar (f), pero también
gastare dinero (v) si no voy al cine (f) pero voy a cenar (v)

En la única forma de no gastar dinero (f) es que sea falso en ambas proposiciones, no
voy al cine (f) y no voy a cenar (f).
 DISYUNCIÓN DE
PROPOSICIONES
Ejemplo
2
Sea p=El foco verde está encendido q = El foco rojo está encendido
c = Hay corriente eléctrica
p^q = c

Similar al caso anterior si el foco verde este encendido o el foco rojo este encendido en
ambas proposiciones es verdadero, es decir, hay corriente eléctrica. En conclusión, si
este encendido el foco verde (v) pero el foco rojo no está encendido (f), hay corriente
eléctrica (v) y viceversa si no esta encendido el foco verde (f), pero el foco rojo si este
encendido (v), entonces hay corriente eléctrica (v). En dado caso para decir que las
proposiciones son falsas el foco verde no este encendido (f) y el foco rojo no está
encendido (f), no hay corriente eléctrica (f).
 DISYUNCIÓN inclusiva

¿Qué
es?
La disyunción inclusiva con símbolo ∨∨ es un conectivo lógico que une dos
proposiciones p y q formando una nueva proposición p ∨ q de tal manera que su valor
de verdad es falsa si las proposiciones p y q resulta ser falsas, en caso contrario resulta
ser verdadera si al menos una de sus proposiciones componentes es verdaderas.
 DISYUNCIÓN inclusiva
Leyes
lógicas
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 p, q y r tenemos:

 Ley asociativa: (p∨q)∨r=p∨(q∧r)
 Existencia del elemento neutro: V(p)∨F=V(p)
 Ley conmutativa: p∨q=q∨p
 Leyes distributivas de la disyunción inclusiva y la conjunción:
p∨(q∧r)=(p∨q)∧(p∨r)
 DISYUNCIÓN inclusiva
Relación con la
unión
En teoría de conjuntos, la disyunción inclusiva puede ser representado por la unión
entre dos conjuntos, por ejemplo, tenemos un elemento que puede pertenecer a dos
conjuntos distintos, pueden ser x∈Ax∈A y x∈Bx∈B, para representar que el
elemento xx pertenece a cualquiera de los conjuntos AA y BB o ambos, se escribe así:

x∈A∨x∈Bx∈A∨x∈B

Esto es lo mismo que escribir:

x∈A∪Bx∈A∪B

También se puede definir de la siguiente manera:

A∪B={x|x∈A∨x∈B}
DISYUNCIÓN inclusiva
Relación con la
unión

Representado en el diagrama de Venn

 DISYUNCIÓN exclusiva

¿Qué
es?
La disyunción exclusiva con símbolo △ es un conectivo lógico que une dos
proposiciones p y q formando una nueva proposición p△q de tal manera que su validez
es falsa si las proposiciones p y q tienen el mismo valor de verdad, en caso contrario,
resulta ser verdadera si las proposiciones p y q tienen valores de verdad opuesto.
 DISYUNCIÓN exclusiva
Leyes
lógicas
Sean las proposiciones p, q y r, tenemos:

 Ley asociativa: (p△q)△r=p△(q△r)
 Ley conmutativa: p△q=q△p
 Ley distributivas con la conjunción lógica: p∧(q△r)=(p∧q)△(p∧r)
 DISYUNCIÓN exclusiva
Relación con la
intersección
Un elemento puede pertenecer a un conjunto u otro o ambas, pero si tales conjuntos no
tiene elementos en común, entonces dicho elemento puede pertenecer a uno y solo uno
de los conjuntos.
La disyunción exclusiva puede remediar este punto, por ejemplo, si tenemos un
elemento xx donde puede estar contenida solo en el conjunto AA o solo en el
conjunto BB pero no en ambas, se representa así:
x∈A△x∈Bx∈A△x∈B
Su equivalente sería:
x∈A+Bx∈A+B
Si queremos fusionar estas dos interpretaciones, se expresa de la siguiente manera:
A+B={x|x∈A△x∈B}
DISYUNCIÓN exclusiva
Relación con la
intersección

Representado en el diagrama de Venn

CUANTIFICADO
R UNIVERSAL
 CUANTIFICADOR
UNIVERSAL
¿Qué ¿Para que
es? es?
El cuantificador universal se utiliza para afirmar que todos los elementos de un conjunto
cumplen con una determinada propiedad.

Por ejemplo:

∀x∈A:P(x) Para todo x perteneciente a A, se cumple P(x). Esta afirmación suele usarse
como la equivalente de la proposición siguiente:

A={x∈U:P(x)} Se define el conjunto A, como el de los elementos x de U, que cumplen

P(x).
 CUANTIFICADOR
UNIVERSAL
Ejempl
o
Si tenemos dos conjuntos diferentes A y B, y A es un subconjunto de B:

A⊂B∧A≠B∧A≠∅ Todo elemento x de A pertenece a B:

∀x∈A⇒x∈B Al ser A y B conjuntos diferentes como indica el diagrama, podemos decir

que no todos los elementos y de B pertenecen a A, siendo esto una garantía suficiente
para que dos conjuntos cualesquiera puedan ser diferentes:

¬∀y∈B:y∈A Es decir: no para todo elemento y de B se cumple que y también

pertenezca a A.
CUANTIFICADO
R EXISTENCIAL
CUANTIFICADOR EXISTENCIAL

En el lenguaje de predicados en lógica matemática, se usa el símbolo llamado

cuantificador existencial, ante puesto a una variable para decir que "existe al menos" un
elemento del conjunto B, al que hace referencia la variable, que cumple la proposición
escrita a continuación.
Existe x que pertenece a B.
El cuantificador existencial se usa para indicar que hay uno o más elementos en el
conjunto A (no necesariamente único/s) que cumplen una determinada propiedad.
Se desea formalizar la expresión ''algunos estudiantes de matemáticas han estudiado
algebra” como un cuantificador existencial.
sea P(x): ''x ha estudiado algebra''
donde x: ''alumno de matemáticas''
entonces se puede presentar como: ExP(x)
que se lee '' Existen alguno alumnos de matemática que han estudiado algebra''.
 Negación
La negación de:
Ex p(x): ''existe x que satisface p(x)''. es [Ex p(x)]
''no es cierto que exista x, que verifique p(x)''
''ningún x, satisface un p(x)''
''todas x, satisface p(x)''
 Referencias
bibliográficas
• Ciencias básicas (2022). "Disyunción lógica". Consultado: 11 de Octubre, 2022. Link
de acceso:
https://ciencias-basicas.com/matematica/superior/logica-proposicional/la-disyuncion-l
ogica/
• Ciencias Básicas. (SF). “Los Cuantificadores”. Consultado: 11 de Octubre, 2022. Link
de acceso:
https://ciencias-basicas.com/matematica/superior/teoria-de-conjuntos/cuantificadores/
• Redacción ejemplosde.com. (2021). “Ejemplos de la Disyunción”. Recuperado: 11 de
Octubre, 2022. Link de acceso:
https://www.ejemplosde.com/29-logica/1285-ejemplos_de_la_disyuncion.html
• Soluciones Matemáticas Discretas. (2014). “Cuantificadores”. Consultado: 11 de
Octubre, 2022: Link de acceso:
https://sites.google.com/site/mathematicasdiscretesolutions/logica-de-po/cuantificador
es