U1S3 - Predicados y Cuantificadores

UNIVERSIDAD NACIONAL
DE CAÑETE
Código: F-M01.01-VRA-008
Revisión: 02
Fecha de aprobación: 22/03/2022
MATEMÁTICA DISCRETA
PREDICADOS Y CUANTIFICADORES
1
Universidad Nacional de Cañete – UNDC 2023. Todos los derechos reservados
DE CAÑETE
CONJUNTO Revisión: 02
Un conjunto es un ente matemático cuyas Ejemplos:

reglas de manejo están dadas por los
1. El conjunto de las vocales.
Axiomas de Zermelo - Fraenkel y el
Axioma de elección. 2. El conjunto de los planetas del sistema
solar.
Para efectos prácticos, se considera que un
conjunto es una colección de objetos, 3. El conjunto de los continentes.
llamados elementos, bajo una propiedad en
común. 4. El conjunto de los profesores de la
Escuela de Estudios Generales.
Los conjuntos se simbolizan por las letras 𝐴,
𝐵, 𝐶, etc. Los elementos de los conjuntos se 5. No existe el conjunto de todos los
simbolizan por las letras minúsculas 𝑎, 𝑏, 𝑐, conjuntos.
etc.
2
DE CAÑETE
PERTENENCIA A UN CONJUNTO Revisión: 02
Cuando 𝑎 es un elemento de un Ejemplo:

conjunto 𝐴 se denota como: 𝒂 ∈ 𝑨.
Sea 𝐴 el conjunto de los planetas del
Que se lee como “(el elemento) 𝑎 sistema solar. Se verifica que:
pertenece a (al conjunto) 𝐴”.
𝑣𝑒𝑛𝑢𝑠 ∈ 𝐴
Cuando 𝑏 no es un elemento de un
𝑡𝑖𝑒𝑟𝑟𝑎 ∈ 𝐴
conjunto 𝐴 se denota como: 𝒃 ∉ 𝑨.
𝑚𝑎𝑟𝑡𝑒 ∈ 𝐴
Que se lee como “(el elemento) 𝑏 no
pertenece a (al conjunto) 𝐴”. 𝑚𝑎𝑟𝑡𝑒𝑠 ∉ 𝐴
𝑚𝑖é𝑟𝑐𝑜𝑙𝑒𝑠 ∉ 𝐴
3
DE CAÑETE
CONJUNTO REPRESENTADO POR EXTENSIÓN Revisión: 02
Un conjunto se representa por extensión si es descrito indicando cada uno de

sus elementos.
Ejemplos:
1. El conjunto de las vocales: 𝐴 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢}
2. El conjunto de los planetas del sistema solar:
𝐵 = {𝑀𝑒𝑟𝑐𝑢𝑟𝑖𝑜, 𝑉𝑒𝑛𝑢𝑠, 𝑇𝑖𝑒𝑟𝑟𝑎, 𝑀𝑎𝑟𝑡𝑒, 𝐽ú𝑝𝑖𝑡𝑒𝑟, 𝑆𝑎𝑡𝑢𝑟𝑛𝑜, 𝑈𝑟𝑎𝑛𝑜, 𝑁𝑒𝑝𝑡𝑢𝑛𝑜}
3. El conjunto de los días de la semana,
𝐶 = {𝐿𝑢𝑛𝑒𝑠, 𝑀𝑎𝑟𝑡𝑒𝑠, 𝑀𝑖é𝑟𝑐𝑜𝑙𝑒𝑠, 𝐽𝑢𝑒𝑣𝑒𝑠, 𝑉𝑖𝑒𝑟𝑛𝑒𝑠, 𝑆á𝑏𝑎𝑑𝑜, 𝐷𝑜𝑚𝑖𝑛𝑔𝑜}

4
DE CAÑETE
CONJUNTOS NUMÉRICOS Revisión: 02
Números naturales:ℕ = {0,1,2,3,4, … } Reales (ℝ)
Números enteros: ℤ = {… , −1,0,1, … }
Números racionales:
𝑝
ℚ= : 𝑝, 𝑞 ∈ ℤ, 𝑞 ≠ 0
𝑞 Irracionales (𝕀)
Números reales: ℝ
Números irracionales:
𝕀 = {𝑥 ∈ ℝ: 𝑥 ∉ ℚ}
5
DE CAÑETE
PREDICADO Revisión: 02
Un predicado o función Ejemplo:

proposicional es un enunciado que Un estudiante del colegio Centro de
contiene un número finito de Varones de Cañete obtuvo el primer
variables y se convierte en puesto a nivel nacional en la
Olimpiada de Computación.
proposición cuando se sustituyen
valores específicos en lugar de las
𝑝 𝑥 : 𝑥 obtuvo el primer puesto a
variables. nivel nacional en la Olimpiada de
El dominio de una variable de Computación.
predicado es el conjunto de todos los
valores que se pueden sustituir en Estudiante del colegio
𝑥∈
lugar de la variable. Centro de Varones de Cañete
6
DE CAÑETE
ESPECIFICACIÓN DE UN PREDICADO Revisión: 02
𝑝(𝑥): Predicado de una variable Ejemplo:

𝑝(𝑥, 𝑦): Predicado de dos variables 𝑝(𝑥): 𝑥 2 + 𝑥 > 10, 𝑥 ∈ ℝ
⋮ 𝑝(1): 2 > 10 ≡ 𝐹
𝑝(𝑥1 , … , 𝑥𝑛 ): Predicado de 𝑛 variables
𝑝 3 : 12 > 10 ≡ 𝑉
Podemos obtener proposiciones

especificando valores para todas las 𝑞 𝑥, 𝑦 : 𝑥 2 < 𝑦 2 − 2, 𝑥, 𝑦 ∈ ℝ
variables que conformen un
𝑞(−1,1): 1 < −1 ≡ 𝐹
predicado.
𝑞(1,2): 1 < 2 ≡ 𝑉
7
DE CAÑETE
CONJUNTO REPRESENTADO POR COMPRENSIÓN Revisión: 02
Un conjunto puede escribirse usando un predicado, llamado también conjunto de

verdad del predicado.
𝑋 = 𝑥 ∈ 𝑈: 𝑝 𝑥
Ejemplos:
1. 𝐴 = 𝑥 ∈ 𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜: 𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑣𝑜𝑐𝑎𝑙 = 𝑎, 𝑒, 𝑖, 𝑜, 𝑢

1 1
2. 𝐵 = {𝑥 ∈ ℝ: 𝑥 2 − 𝑥 + = 0} =
4 2
2 1
3. 𝐵 = {𝑥 ∈ ℤ: 𝑥 − 𝑥 + = 0} =
4
8
DE CAÑETE
CUANTIFICACIÓN DE UN PREDICADO (UNIVERSAL) Revisión: 02
Ejemplo:
El cuantificador universal es usado
para afirmar que todo elemento de Determine el valor de verdad de
algún conjunto satisface cierta ∀𝑥 ∈ {−1,0,1}: 𝑥 3 = 𝑥
propiedad. El cuantificador universal
es denotado por “∀” y se lee “para Solución:
todo”. 𝑥 𝑝 𝑥 Valor de verdad
−1 −1 3 = −1 𝑉
Se denota ∀𝑥 ∈ 𝑈: 𝑝(𝑥) y se lee “Todo 0 03 = 0 𝑉
elemento 𝑥 del conjunto 𝑈 satisface 1 13 = 1 𝑉
𝑝(𝑥)”. Por tanto, ∀𝑥 ∈ −1,0,1 : 𝑥 3 = 𝑥 es
verdadero
9
DE CAÑETE
CUANTIFICACIÓN DE UN PREDICADO (EXISTENCIAL) Revisión: 02
Ejemplo:
El cuantificador existencial es usado
para afirmar que existe algún Determine el valor de verdad de
elemento de algún conjunto que ∃𝑥 ∈ 0,1,2 : 𝑥 2 + 𝑥 = 2
satisface cierta propiedad. El
cuantificador existencial es denotado Solución:
por “∃” y se lee “existe”.
Se denota ∃𝑥 ∈ 𝑈: 𝑝(𝑥) y se lee “Existe

un elemento 𝑥 del conjunto 𝑈 que
satisface 𝑝(𝑥)”. Por tanto, ∃𝑥 ∈ 0,1,2 : 𝑥 2 + 𝑥 = 2 es
verdadero
10
DE CAÑETE
NEGACIÓN DE UN CUANTIFICADOR Revisión: 02
∼ ∀𝑥 ∈ 𝑈: 𝑝 𝑥 ≡ ∃𝑥 ∈ 𝑈: ∼ 𝑝 𝑥
∼ ∃𝑥 ∈ 𝑈: 𝑝 𝑥 ≡ ∀𝑥 ∈ 𝑈: ∼ 𝑝 𝑥
La negación de: La negación de:

Existe un hombre que es mortal. Todo hombre es mortal.
es es
Todo hombre es inmortal Existe un hombre que es inmortal
11
DE CAÑETE
CUANTIFICADORES ANIDADOS Revisión: 02
Para todos 𝑥 ∈ ℝ, 𝑦 ∈ ℝ se cumple que Existen 𝑥, 𝑦 ∈ ℝ tales que se cumple

𝑥2 − 1 < 𝑦 que 𝑥 2 − 1 < 𝑦
Para todo 𝑥 ∈ ℝ existe 𝑦 ∈ ℝ tal que se Existe 𝑥 ∈ ℝ tal que para todo 𝑦 ∈ ℝ se
cumple que 𝑥 2 − 1 < 𝑦 cumple que 𝑥 2 − 1 < 𝑦
Existe 𝑦 ∈ ℝ tal que para todo 𝑥 ∈ ℝ se Para todo y ∈ ℝ existe 𝑥 ∈ ℝ tal que se
12
DE CAÑETE
CUANTIFICADORES ANIDADOS Revisión: 02
Para todos 𝑥 ∈ ℝ, 𝑦 ∈ ℝ se cumple que Existen 𝑥, 𝑦 ∈ ℝ tales que se cumple

𝑥2 − 1 < 𝑦 que 𝑥 2 − 1 < 𝑦
∀𝑥 ∈ ℝ ∀𝑦 ∈ ℝ: 𝑥 2 − 1 < 𝑦 ∃𝑥 ∈ ℝ ∃𝑦 ∈ ℝ: 𝑥 2 − 1 < 𝑦
Para todo 𝑥 ∈ ℝ existe 𝑦 ∈ ℝ tal que se Existe 𝑥 ∈ ℝ tal que para todo 𝑦 ∈ ℝ se
∀𝑥 ∈ ℝ ∃𝑦 ∈ ℝ: 𝑥 2 − 1 < 𝑦 ∃𝑥 ∈ ℝ ∀𝑦 ∈ ℝ: 𝑥 2 − 1 < 𝑦
Existe 𝑦 ∈ ℝ tal que para todo 𝑥 ∈ ℝ se Para todo y ∈ ℝ existe 𝑥 ∈ ℝ tal que se
∃𝑦 ∈ ℝ ∀𝑥 ∈ ℝ: 𝑥 2 − 1 < 𝑦 ∀𝑦 ∈ ℝ ∃𝑥 ∈ ℝ: 𝑥 2 − 1 < 𝑦
13
DE CAÑETE
REFERENCIAS BIBLIOGRÁFICAS Código: F-M01.01-VRA-008
Revisión: 02
● Epp, Susanna (2012). Matemáticas discretas con aplicaciones (Cuarta Edición). México:
Cengage Learning Editores, S. A. de C.V.
● Grimaldi, P. Ralph (1998). Matemáticas discretas y combinatoria: una introducción con

aplicaciones (Tercera Edición). México: Addison-Wesley Longman Pearson Education.
● Johnsonbaugh, Richard (2005). Matemáticas discretas (Sexta Edición). México: Prentice-Hall

Hispanoamericana, S. A.
● Rosen Kenneth (2004). Matemática discreta y sus aplicaciones (Quinta Edición). España:
McGraw-Hill/Interamericana de España, S. A. U.
● Seymour, Lipschutz - Marc, Lipson (2004). 2000 problemas resueltos de Matemática discreta
(Primera Edición). España: McGraw-Hill/Interamericana.
14

U1S3 - Predicados y Cuantificadores

Cargado por

Información del documento

Descripción original:

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

U1S3 - Predicados y Cuantificadores

Cargado por

Copyright:

Formatos disponibles

UNIVERSIDAD NACIONAL

Un conjunto es un ente matemático cuyas Ejemplos:

Cuando 𝑎 es un elemento de un Ejemplo:

Un conjunto se representa por extensión si es descrito indicando cada uno de

1. El conjunto de las vocales: 𝐴 = {𝑎, 𝑒, 𝑖, 𝑜, 𝑢}

2. El conjunto de los planetas del sistema solar:

𝐵 = {𝑀𝑒𝑟𝑐𝑢𝑟𝑖𝑜, 𝑉𝑒𝑛𝑢𝑠, 𝑇𝑖𝑒𝑟𝑟𝑎, 𝑀𝑎𝑟𝑡𝑒, 𝐽ú𝑝𝑖𝑡𝑒𝑟, 𝑆𝑎𝑡𝑢𝑟𝑛𝑜, 𝑈𝑟𝑎𝑛𝑜, 𝑁𝑒𝑝𝑡𝑢𝑛𝑜}

3. El conjunto de los días de la semana,

𝐶 = {𝐿𝑢𝑛𝑒𝑠, 𝑀𝑎𝑟𝑡𝑒𝑠, 𝑀𝑖é𝑟𝑐𝑜𝑙𝑒𝑠, 𝐽𝑢𝑒𝑣𝑒𝑠, 𝑉𝑖𝑒𝑟𝑛𝑒𝑠, 𝑆á𝑏𝑎𝑑𝑜, 𝐷𝑜𝑚𝑖𝑛𝑔𝑜}

Números naturales:ℕ = {0,1,2,3,4, … } Reales (ℝ)

Números enteros: ℤ = {… , −1,0,1, … }

Un predicado o función Ejemplo:

𝑝(𝑥): Predicado de una variable Ejemplo:

Podemos obtener proposiciones

Un conjunto puede escribirse usando un predicado, llamado también conjunto de

1. 𝐴 = 𝑥 ∈ 𝐴𝑙𝑓𝑎𝑏𝑒𝑡𝑜: 𝑥 𝑒𝑠 𝑢𝑛𝑎 𝑣𝑜𝑐𝑎𝑙 = 𝑎, 𝑒, 𝑖, 𝑜, 𝑢

Se denota ∃𝑥 ∈ 𝑈: 𝑝(𝑥) y se lee “Existe

La negación de: La negación de:

Para todos 𝑥 ∈ ℝ, 𝑦 ∈ ℝ se cumple que Existen 𝑥, 𝑦 ∈ ℝ tales que se cumple

Para todos 𝑥 ∈ ℝ, 𝑦 ∈ ℝ se cumple que Existen 𝑥, 𝑦 ∈ ℝ tales que se cumple

● Grimaldi, P. Ralph (1998). Matemáticas discretas y combinatoria: una introducción con

● Johnsonbaugh, Richard (2005). Matemáticas discretas (Sexta Edición). México: Prentice-Hall

También podría gustarte