Matemáticas Discretas

TC1003

POL: Predicados y Cuantificadores

Departamento de Matemáticas

ITESM

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 1/25

 Introducción

La Lógica de Predicados o Lógica de Primer Introducción

Predicados
Orden (POL o FOL) es una extensión de Lógica Ejemplo 1
Ejemplo 2
Proposicional. Todo las las equivalencias y reglas Cuantificador
de inferencia vistas en la lógica proposicional Universal
Cuantificador
siguen siendo válidas en la lógica de predicados. Existencial
Ejemplo 3
En esta lectura introduciremos dos elementos que Ejemplo 4
establecen la diferencia entre la lógica Conversión
Sumario
proposicional y la lógica de predicados: el
concepto de predicado y el de cuantificador.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 2/25

 Predicados

Definición Introducción
Predicados
Un predicado es una sentencia declarativa que Ejemplo 1
contiene un número definido de variables y que se Ejemplo 2
Cuantificador
vuelve en una proposición cuando las variables Universal
Cuantificador
son sustituidas por valores. Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 3/25

 Predicados

Definición Introducción
Predicados
Un predicado es una sentencia declarativa que Ejemplo 1
contiene un número definido de variables y que se Ejemplo 2
Cuantificador
vuelve en una proposición cuando las variables Universal
Cuantificador
son sustituidas por valores. El dominio de un Existencial
Ejemplo 3
predicado es el conjunto de todos los valores que Ejemplo 4
pueden ser sustituidos en las variables. Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 3/25

 Ejemplo 1

Ejemplo Introducción
Predicados
Sea P (x) el predicado con dominio los número Ejemplo 1
reales: Ejemplo 2
Cuantificador
P (x) = x2 ≤ 10 Universal
Cuantificador
Existencial
Identifique cuáles opciones contienen Ejemplo 3
afirmaciones verdaderas: Ejemplo 4
Conversión
1. P (−2) Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 4/25

 Ejemplo 1

Ejemplo Introducción
Predicados
Sea P (x) el predicado con dominio los número Ejemplo 1
reales: Ejemplo 2
Cuantificador
P (x) = x2 ≤ 10 Universal
Cuantificador
Existencial
Identifique cuáles opciones contienen Ejemplo 3
afirmaciones verdaderas: Ejemplo 4
Conversión
1. P (−2) Verdadera: (−2)2 = 4 ≤ 10. Sumario

2. P (−6)

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 4/25

 Ejemplo 1

Ejemplo Introducción
Predicados
Sea P (x) el predicado con dominio los número Ejemplo 1
reales: Ejemplo 2
Cuantificador
P (x) = x2 ≤ 10 Universal
Cuantificador
Existencial
Identifique cuáles opciones contienen Ejemplo 3
afirmaciones verdaderas: Ejemplo 4
Conversión
1. P (−2) Verdadera: (−2)2 = 4 ≤ 10. Sumario

2. P (−6) Falsa: (−6)2 = 36 6≤ 10.

3. P ( 21 )

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 4/25

 Ejemplo 1

Ejemplo Introducción
Predicados
Sea P (x) el predicado con dominio los número Ejemplo 1
reales: Ejemplo 2
Cuantificador
P (x) = x2 ≤ 10 Universal
Cuantificador
Existencial
Identifique cuáles opciones contienen Ejemplo 3
afirmaciones verdaderas: Ejemplo 4
Conversión
1. P (−2) Verdadera: (−2)2 = 4 ≤ 10. Sumario

2. P (−6) Falsa: (−6)2 = 36 6≤ 10.

3. P ( 21 ) Verdadera: (1/2)2 = 1/4 ≤ 10.
4. P (2)

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 4/25

 Ejemplo 1

Ejemplo Introducción
Predicados
Sea P (x) el predicado con dominio los número Ejemplo 1
reales: Ejemplo 2
Cuantificador
P (x) = x2 ≤ 10 Universal
Cuantificador
Existencial
Identifique cuáles opciones contienen Ejemplo 3
afirmaciones verdaderas: Ejemplo 4
Conversión
1. P (−2) Verdadera: (−2)2 = 4 ≤ 10. Sumario

2. P (−6) Falsa: (−6)2 = 36 6≤ 10.

3. P ( 21 ) Verdadera: (1/2)2 = 1/4 ≤ 10.
4. P (2) Verdadera: (2)2 = 4 ≤ 10.
5. P (−4)

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 4/25

 Ejemplo 1

Ejemplo Introducción
Predicados
Sea P (x) el predicado con dominio los número Ejemplo 1
reales: Ejemplo 2
Cuantificador
P (x) = x2 ≤ 10 Universal
Cuantificador
Existencial
Identifique cuáles opciones contienen Ejemplo 3
afirmaciones verdaderas: Ejemplo 4
Conversión
1. P (−2) Verdadera: (−2)2 = 4 ≤ 10. Sumario

2. P (−6) Falsa: (−6)2 = 36 6≤ 10.

3. P ( 21 ) Verdadera: (1/2)2 = 1/4 ≤ 10.
4. P (2) Verdadera: (2)2 = 4 ≤ 10.
5. P (−4) Falsa: (−4)2 = 16 6≤ 10.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 4/25

 Ejemplo 2

Ejemplo Introducción
Predicados
Sea P (x, y) el predicado: Ejemplo 1
Ejemplo 2
P (x, y) = Si x < y, entonces x2 < y 2 . Cuantificador
Universal
Cuantificador
Con dominio para x y para y todo el conjunto de Existencial
Ejemplo 3
los números reales. Identifique cuáles opciones Ejemplo 4
Conversión
contienen afirmaciones verdaderas: Sumario
1. P (3, 2)

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 5/25

 Ejemplo 2

Ejemplo Introducción
Predicados
Sea P (x, y) el predicado: Ejemplo 1
Ejemplo 2
P (x, y) = Si x < y, entonces x2 < y 2 . Cuantificador
Universal
Cuantificador
Con dominio para x y para y todo el conjunto de Existencial
Ejemplo 3
los números reales. Identifique cuáles opciones Ejemplo 4
Conversión
contienen afirmaciones verdaderas: Sumario
1. P (3, 2) : (3 < 2) → (9 < 4): verdadera.
2. P (−2, 1)

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 5/25

 Ejemplo 2

Ejemplo Introducción
Predicados
Sea P (x, y) el predicado: Ejemplo 1
Ejemplo 2
P (x, y) = Si x < y, entonces x2 < y 2 . Cuantificador
Universal
Cuantificador
Con dominio para x y para y todo el conjunto de Existencial
Ejemplo 3
los números reales. Identifique cuáles opciones Ejemplo 4
Conversión
contienen afirmaciones verdaderas: Sumario
1. P (3, 2) : (3 < 2) → (9 < 4): verdadera.
2. P (−2, 1) : (−2 < 1) → (4 < 1): falsa.
3. P (−3, 1)

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 5/25

 Ejemplo 2

Ejemplo Introducción
Predicados
Sea P (x, y) el predicado: Ejemplo 1
Ejemplo 2
P (x, y) = Si x < y, entonces x2 < y 2 . Cuantificador
Universal
Cuantificador
Con dominio para x y para y todo el conjunto de Existencial
Ejemplo 3
los números reales. Identifique cuáles opciones Ejemplo 4
Conversión
contienen afirmaciones verdaderas: Sumario
1. P (3, 2) : (3 < 2) → (9 < 4): verdadera.
2. P (−2, 1) : (−2 < 1) → (4 < 1): falsa.
3. P (−3, 1) : (−3 < 1) → (9 < 1): falsa.
4. P ( 21 , 1)

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 5/25

 Ejemplo 2

Ejemplo Introducción
Predicados
Sea P (x, y) el predicado: Ejemplo 1
Ejemplo 2
P (x, y) = Si x < y, entonces x2 < y 2 . Cuantificador
Universal
Cuantificador
Con dominio para x y para y todo el conjunto de Existencial
Ejemplo 3
los números reales. Identifique cuáles opciones Ejemplo 4
Conversión
contienen afirmaciones verdaderas: Sumario
1. P (3, 2) : (3 < 2) → (9 < 4): verdadera.
2. P (−2, 1) : (−2 < 1) → (4 < 1): falsa.
3. P (−3, 1) : (−3 < 1) → (9 < 1): falsa.
4. P ( 21 , 1) : (1/2 < 1) → (1/4 < 1): cierta.
5. P (1, −3)

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 5/25

 Ejemplo 2

Ejemplo Introducción
Predicados
Sea P (x, y) el predicado: Ejemplo 1
Ejemplo 2
P (x, y) = Si x < y, entonces x2 < y 2 . Cuantificador
Universal
Cuantificador
Con dominio para x y para y todo el conjunto de Existencial
Ejemplo 3
los números reales. Identifique cuáles opciones Ejemplo 4
Conversión
contienen afirmaciones verdaderas: Sumario
1. P (3, 2) : (3 < 2) → (9 < 4): verdadera.
2. P (−2, 1) : (−2 < 1) → (4 < 1): falsa.
3. P (−3, 1) : (−3 < 1) → (9 < 1): falsa.
4. P ( 21 , 1) : (1/2 < 1) → (1/4 < 1): cierta.
5. P (1, −3) : (1 < −3) → (1 < 9): cierta.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 5/25

 Cuantificador Universal: ∀

Definición Introducción
Predicados
Sea Q(x) un predicado y D el dominio de Q. Ejemplo 1
Ejemplo 2
Cuantificador
Universal
Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 6/25

 Cuantificador Universal: ∀

Definición Introducción
Predicados
Sea Q(x) un predicado y D el dominio de Q. Una Ejemplo 1
afirmación universal es una declaración de la Ejemplo 2
Cuantificador
forma: Universal
Cuantificador
∀ x ∈ D, Q(x) Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 6/25

 Cuantificador Universal: ∀

Definición Introducción
Predicados
Sea Q(x) un predicado y D el dominio de Q. Una Ejemplo 1
afirmación universal es una declaración de la Ejemplo 2
Cuantificador
forma: Universal
Cuantificador
∀ x ∈ D, Q(x) Existencial
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si Q(x) es Conversión
verdadera para todo elemento x que está en el Sumario

dominio D.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 6/25

 Cuantificador Universal: ∀

Definición Introducción
Predicados
Sea Q(x) un predicado y D el dominio de Q. Una Ejemplo 1
afirmación universal es una declaración de la Ejemplo 2
Cuantificador
forma: Universal
Cuantificador
∀ x ∈ D, Q(x) Existencial
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si Q(x) es Conversión
verdadera para todo elemento x que está en el Sumario

dominio D. La afirmación es falsa si y sólo si Q(x)

es falsa al menos para un elemento x del dominio.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 6/25

 Cuantificador Universal: ∀

Definición Introducción
Predicados
Sea Q(x) un predicado y D el dominio de Q. Una Ejemplo 1
afirmación universal es una declaración de la Ejemplo 2
Cuantificador
forma: Universal
Cuantificador
∀ x ∈ D, Q(x) Existencial
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si Q(x) es Conversión
verdadera para todo elemento x que está en el Sumario

dominio D. La afirmación es falsa si y sólo si Q(x)

es falsa al menos para un elemento x del dominio.
Un elemento x para el cual Q(x) es falsa se llama
contraejemplo a la afirmación universal.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 6/25

 Cuantificador Universal: ∀

Definición Introducción
Predicados
Sea Q(x) un predicado y D el dominio de Q. Una Ejemplo 1
afirmación universal es una declaración de la Ejemplo 2
Cuantificador
forma: Universal
Cuantificador
∀ x ∈ D, Q(x) Existencial
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si Q(x) es Conversión
verdadera para todo elemento x que está en el Sumario

dominio D. La afirmación es falsa si y sólo si Q(x)

es falsa al menos para un elemento x del dominio.
Un elemento x para el cual Q(x) es falsa se llama
contraejemplo a la afirmación universal.
Note también que ∀ se traduce en una conjunción:
Si por ejemplo D = {1, a, e} entonces
∀ x ∈ D, Q(x) ≡ Q(1) ∧ Q(a) ∧ Q(e)

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 6/25

 Cuantificador existencial: ∃

Definición Introducción
Predicados
Sea Q(x) un predicado con cominio D. Ejemplo 1
Ejemplo 2
Cuantificador
Universal
Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 7/25

 Cuantificador existencial: ∃

Definición Introducción
Predicados
Sea Q(x) un predicado con cominio D. Una Ejemplo 1
afirmación existencial es una declaración de la Ejemplo 2
Cuantificador
forma: Universal
Cuantificador
∃ x ∈ D, Q(x) Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 7/25

 Cuantificador existencial: ∃

Definición Introducción
Predicados
Sea Q(x) un predicado con cominio D. Una Ejemplo 1
afirmación existencial es una declaración de la Ejemplo 2
Cuantificador
forma: Universal
Cuantificador
∃ x ∈ D, Q(x) Existencial
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si existe en Conversión
el dominio D al menos un valor de x para el cual Sumario

Q(x) es verdadera.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 7/25

 Cuantificador existencial: ∃

Definición Introducción
Predicados
Sea Q(x) un predicado con cominio D. Una Ejemplo 1
afirmación existencial es una declaración de la Ejemplo 2
Cuantificador
forma: Universal
Cuantificador
∃ x ∈ D, Q(x) Existencial
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si existe en Conversión
el dominio D al menos un valor de x para el cual Sumario

Q(x) es verdadera. A este valor lo referiremos a un

ejemplo para la afirmación existencial.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 7/25

 Cuantificador existencial: ∃

Definición Introducción
Predicados
Sea Q(x) un predicado con cominio D. Una Ejemplo 1
afirmación existencial es una declaración de la Ejemplo 2
Cuantificador
forma: Universal
Cuantificador
∃ x ∈ D, Q(x) Existencial
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si existe en Conversión
el dominio D al menos un valor de x para el cual Sumario

Q(x) es verdadera. A este valor lo referiremos a un

ejemplo para la afirmación existencial. La
afirmación será falsa si para todo x en el dominio
Q(x) es falsa.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 7/25

 Cuantificador existencial: ∃

Definición Introducción
Predicados
Sea Q(x) un predicado con cominio D. Una Ejemplo 1
afirmación existencial es una declaración de la Ejemplo 2
Cuantificador
forma: Universal
Cuantificador
∃ x ∈ D, Q(x) Existencial
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si existe en Conversión
el dominio D al menos un valor de x para el cual Sumario

Q(x) es verdadera. A este valor lo referiremos a un

ejemplo para la afirmación existencial. La
afirmación será falsa si para todo x en el dominio
Q(x) es falsa.
Note también que ∃ se traduce en una disjunción:
Si por ejemplo D = {1, a, e} entonces
∃ x ∈ D, Q(x) ≡ Q(1) ∨ Q(a) ∨ Q(e)

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 7/25

 ■ El símbolo ∀ se llama cuantificador universal. Introducción
Predicados
Ejemplo 1
Ejemplo 2
Cuantificador
Universal
Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 8/25

 ■ El símbolo ∀ se llama cuantificador universal. Introducción
Predicados
■ El símbolo ∃ se llama cuantificador existencial. Ejemplo 1
Ejemplo 2
Cuantificador
Universal
Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 8/25

 ■ El símbolo ∀ se llama cuantificador universal. Introducción
Predicados
■ El símbolo ∃ se llama cuantificador existencial. Ejemplo 1
Ejemplo 2
Nota Cuantificador
Universal
Cuando esté claro cual es el dominio del Cuantificador
Existencial
predicado se omitirá la referencia al conjunto. Ejemplo 3
Ejemplo 4
Es decir, Conversión
Sumario
∀x ∈ D, P (x) se escribirá ∀x, P (x)
∃x ∈ D, P (x) se escribirá ∃x, P (x)

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 8/25

 Ejemplo 3

Veamos un ejemplo que involucra situaciones Introducción

Predicados
simplificadas conocido como el mundo de Tarski. Ejemplo 1
Ejemplo 2
Cuantificador
Universal
Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 9/25

 Considere: Indique cuáles afirmaciones
a son verdaderas:
1. ∀ t, Circulo(t) ∨ Rojo(t)
b c 2. ∃ t, Cuadrado(t) ∧ Rojo(t)
3. ∀ t, Cuadrado(t) ∧ Rojo(t)
g f
4. ∀ t, Triangulo(t) ∨ Rojo(t)
e d 5. ∃ t, Cuadrado(t) ∧ Azul(t)
Soluciones:

Y los predicados:
Azul(t) = t es de color azul.
Rojo(t) = t es de color rojo.
Triangulo(t) = t es un triángulo .
Cuadrado(t) = t es un cuadrado.
Circulo(t) = t es un círculo.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 10/25

 Con los predicados y la figura generamos la tabla: Introducción
Predicados
t Azul Rojo Triangulo Cuadrado Circulo Ejemplo 1
Ejemplo 2
a T F T F F Cuantificador
Universal
Cuantificador
b T F T F F
Existencial
c F T F F T Ejemplo 3
Ejemplo 4
d F T F T F Conversión
Sumario
e F T F T F
f F T F T F
g F T F F T

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 11/25

 Para la afirmación:
∀ t, Circulo(t) ∨ Rojo(t)
los datos
t Azul Rojo Triangulo Cuadrado Circulo Circulo(t) ∨ Rojo(t)

a T F T F F F
b T F T F F F
c F T F F T T
d F T F T F T
e F T F T F T
f F T F T F T
g F T F F T T

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 12/25

 Para la afirmación:
∀ t, Circulo(t) ∨ Rojo(t)
los datos
t Azul Rojo Triangulo Cuadrado Circulo Circulo(t) ∨ Rojo(t)

a T F T F F F
b T F T F F F
c F T F F T T
d F T F T F T
e F T F T F T
f F T F T F T
g F T F F T T

nos indican que la afirmación es falsa

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 12/25

 Para la afirmación:
∀ t, Circulo(t) ∨ Rojo(t)
los datos
t Azul Rojo Triangulo Cuadrado Circulo Circulo(t) ∨ Rojo(t)

a T F T F F F
b T F T F F F
c F T F F T T
d F T F T F T
e F T F T F T
f F T F T F T
g F T F F T T

nos indican que la afirmación es falsa: a y b son

contraejemplos.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 12/25

 Para la afirmación:
∃ t, Cuadrado(t) ∧ Rojo(t)
los datos
t Azul Rojo Triangulo Cuadrado Circulo Cuadrado(t) ∧ Rojo(t)

a T F T F F F
b T F T F F F
c F T F F T F
d F T F T F T
e F T F T F T
f F T F T F T
g F T F F T F

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 13/25

 Para la afirmación:
∃ t, Cuadrado(t) ∧ Rojo(t)
los datos
t Azul Rojo Triangulo Cuadrado Circulo Cuadrado(t) ∧ Rojo(t)

a T F T F F F
b T F T F F F
c F T F F T F
d F T F T F T
e F T F T F T
f F T F T F T
g F T F F T F

nos indican que la afirmación es cierta

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 13/25

 Para la afirmación:
∃ t, Cuadrado(t) ∧ Rojo(t)
los datos
t Azul Rojo Triangulo Cuadrado Circulo Cuadrado(t) ∧ Rojo(t)

a T F T F F F
b T F T F F F
c F T F F T F
d F T F T F T
e F T F T F T
f F T F T F T
g F T F F T F

nos indican que la afirmación es cierta: d, e y f son ejemplos.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 13/25

 Para la afirmación:
∀ t, Cuadrado(t) ∧ Rojo(t)
los datos
t Azul Rojo Triangulo Cuadrado Circulo Cuadrado(t) ∧ Rojo(t)

a T F T F F F
b T F T F F F
c F T F F T F
d F T F T F T
e F T F T F T
f F T F T F T
g F T F F T F

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 14/25

 Para la afirmación:
∀ t, Cuadrado(t) ∧ Rojo(t)
los datos
t Azul Rojo Triangulo Cuadrado Circulo Cuadrado(t) ∧ Rojo(t)

a T F T F F F
b T F T F F F
c F T F F T F
d F T F T F T
e F T F T F T
f F T F T F T
g F T F F T F

nos indican que la afirmación es falsa

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 14/25

 Para la afirmación:
∀ t, Cuadrado(t) ∧ Rojo(t)
los datos
t Azul Rojo Triangulo Cuadrado Circulo Cuadrado(t) ∧ Rojo(t)

a T F T F F F
b T F T F F F
c F T F F T F
d F T F T F T
e F T F T F T
f F T F T F T
g F T F F T F

nos indican que la afirmación es falsa: a, b, c y g son

contraejemplos.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 14/25

 Para la afirmación:
∀ t, Triangulo(t) ∨ Rojo(t)
los datos
t Azul Rojo Triangulo Cuadrado Circulo Triangulo(t) ∨ Rojo(t)

a T F T F F T
b T F T F F T
c F T F F T T
d F T F T F T
e F T F T F T
f F T F T F T
g F T F F T T

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 15/25

 Para la afirmación:
∀ t, Triangulo(t) ∨ Rojo(t)
los datos
t Azul Rojo Triangulo Cuadrado Circulo Triangulo(t) ∨ Rojo(t)

a T F T F F T
b T F T F F T
c F T F F T T
d F T F T F T
e F T F T F T
f F T F T F T
g F T F F T T

nos indican que la afirmación es cierta.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 15/25

 Para la afirmación:
∃ t, Cuadrado(t) ∧ Azul(t)
los datos
t Azul Rojo Triangulo Cuadrado Circulo Cuadrado(t) ∧ Azul(t)

a T F T F F F
b T F T F F F
c F T F F T F
d F T F T F F
e F T F T F F
f F T F T F F
g F T F F T F

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 16/25

 Para la afirmación:
∃ t, Cuadrado(t) ∧ Azul(t)
los datos
t Azul Rojo Triangulo Cuadrado Circulo Cuadrado(t) ∧ Azul(t)

a T F T F F F
b T F T F F F
c F T F F T F
d F T F T F F
e F T F T F F
f F T F T F F
g F T F F T F

nos indican que la afirmación es falsa.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 16/25

 Ejemplo 4

Veamos un ejemplo que involucra bases de datos. Introducción

Predicados
Ejemplo 1
Ejemplo 2
Cuantificador
Universal
Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 17/25

 Ejemplo Indique cuáles afirmaciones
Considere los datos: son verdaderas:
Nombre Carrera Edad Hobby 1. ∃ x, x es menor de 19 años.
2. ∃ x, x tiene como hobby el correr.
Juan ITEC 21 Leer
3. ∀ x, x tiene como hobby leer o x es
María IMA 20 Música
hombre.
Tomás IIS 23 Futbol
4. ∀ x, si x tiene como hobby la música
Lalo LATI 22 Anime entonces x es mujer.
Luis IFI 21 Leer 5. ∃ x, x tiene como carrera Letras.
Soledad LCC 24 Futbol

Nuestro dominio consiste de

las personas Juan, María, To-
más, Lalo, Luis, y Soledad.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 18/25

 De acuerdo a las preguntas, en este ejemplo Introducción
Predicados
conviene definir los predicados: Ejemplo 1
Ejemplo 2
M19(t) = t tiene menos de 19 años. Cuantificador
Universal
Co(t) = t tiene como hobby correr. Cuantificador
Existencial
Leer(t) = t tiene como hobby leer. Ejemplo 3
Ejemplo 4
Mus(t) = t tiene como hobby la música. Conversión
Sumario
H(t) = t es un hombre.
M(t) = t es un mujer.
Letras(t) = t tiene como carrera Letras.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 19/25

 De acuerdo a los predicados, tendríamos la Introducción
Predicados
siguiente tabla: Ejemplo 1
Ejemplo 2
M19 C Leer Mus H M Letras Cuantificador
Universal
Juan F F T F T F F Cuantificador
Existencial
María F F F T F T F Ejemplo 3
Ejemplo 4
Tomás F F F F T F F Conversión
Sumario
Lalo F F F F T F F
Luis F F T F T F F
Soledad F F F F F T F

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 20/25

 De acuerdo a los predicados, tendríamos la Introducción
Predicados
siguiente tabla: Ejemplo 1
Ejemplo 2
M19 C Leer Mus H M Letras Cuantificador
Universal
Juan F F T F T F F Cuantificador
Existencial
María F F F T F T F Ejemplo 3
Ejemplo 4
Tomás F F F F T F F Conversión
Sumario
Lalo F F F F T F F
Luis F F T F T F F
Soledad F F F F F T F
■ ∃ x, x es menor de 19 años es falsa.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 20/25

 De acuerdo a los predicados, tendríamos la Introducción
Predicados
siguiente tabla: Ejemplo 1
Ejemplo 2
M19 C Leer Mus H M Letras Cuantificador
Universal
Juan F F T F T F F Cuantificador
Existencial
María F F F T F T F Ejemplo 3
Ejemplo 4
Tomás F F F F T F F Conversión
Sumario
Lalo F F F F T F F
Luis F F T F T F F
Soledad F F F F F T F
■ ∃ x, x es menor de 19 años es falsa.
■ ∃ x, x tiene como carrera Letras es falsa.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 20/25

 De acuerdo a los predicados, tendríamos la Introducción
Predicados
siguiente tabla: Ejemplo 1
Ejemplo 2
M19 C Leer Mus H M Letras Cuantificador
Universal
Juan F F T F T F F Cuantificador
Existencial
María F F F T F T F Ejemplo 3
Ejemplo 4
Tomás F F F F T F F Conversión
Sumario
Lalo F F F F T F F
Luis F F T F T F F
Soledad F F F F F T F
■ ∃ x, x es menor de 19 años es falsa.
■ ∃ x, x tiene como carrera Letras es falsa.
■ ∃ x, x tiene como hobyy correr es falsa.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 20/25

 Para la afirmación: Introducción
Predicados
Ejemplo 1
∀ x, x tiene como hobby leer o x es hombre Ejemplo 2
Cuantificador
los datos: Universal
Cuantificador
Existencial
Ejemplo 3
t M19 C Leer Mus H M Letras Leer(t) ∨ H(t)
Ejemplo 4
Conversión
Juan F F T F T F F T Sumario

María F F F T F T F F
Tomás F F F F T F F T
Lalo F F F F T F F T
Luis F F T F T F F T
Soledad F F F F F T F F

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 21/25

 Para la afirmación: Introducción
Predicados
Ejemplo 1
∀ x, x tiene como hobby leer o x es hombre Ejemplo 2
Cuantificador
los datos: Universal
Cuantificador
Existencial
Ejemplo 3
t M19 C Leer Mus H M Letras Leer(t) ∨ H(t)
Ejemplo 4
Conversión
Juan F F T F T F F T Sumario

María F F F T F T F F
Tomás F F F F T F F T
Lalo F F F F T F F T
Luis F F T F T F F T
Soledad F F F F F T F F

indican que es falsa: María y Soledad son los

contraejemplos.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 21/25

 Para la afirmación:
∀ x, si x tiene como hobby la música, entonces x es mujer.
los datos
M19 C Leer Mus H M Letras Mus → M

Juan F F T F T F F T
María F F F T F T F T
Tomás F F F F T F F T
Lalo F F F F T F F T
Luis F F T F T F F T
Soledad F F F F F T F T

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 22/25

 Para la afirmación:
∀ x, si x tiene como hobby la música, entonces x es mujer.
los datos
M19 C Leer Mus H M Letras Mus → M

Juan F F T F T F F T
María F F F T F T F T
Tomás F F F F T F F T
Lalo F F F F T F F T
Luis F F T F T F F T
Soledad F F F F F T F T

indican que es verdadera.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 22/25

 Para la afirmación:
∀ x, si x tiene como hobby la música, entonces x es mujer.
los datos
M19 C Leer Mus H M Letras Mus → M

Juan F F T F T F F T
María F F F T F T F T
Tomás F F F F T F F T
Lalo F F F F T F F T
Luis F F T F T F F T
Soledad F F F F F T F T

indican que es verdadera.

No te que la clave es que F → X es T.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 22/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: Introducción

Predicados
Ejemplo 1
Ejemplo 2
Cuantificador
Universal
Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
Ejemplo 1
Ejemplo 2
Cuantificador
Universal
Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : Ejemplo 1
Ejemplo 2
Cuantificador
Universal
Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : ∀x, x es A → x es B Ejemplo 1
Ejemplo 2
Cuantificador
Universal
Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : ∀x, x es A → x es B Ejemplo 1
Ejemplo 2
■ Ningún A es B : Cuantificador
Universal
Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : ∀x, x es A → x es B Ejemplo 1
Ejemplo 2
■ Ningún A es B : ∀x, x es A → x no es B Cuantificador
Universal
Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : ∀x, x es A → x es B Ejemplo 1
Ejemplo 2
■ Ningún A es B : ∀x, x es A → x no es B Cuantificador
Universal
■ Existe un A que es B : Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : ∀x, x es A → x es B Ejemplo 1
Ejemplo 2
■ Ningún A es B : ∀x, x es A → x no es B Cuantificador
Universal
■ Existe un A que es B : ∃x, x es A ∧ x es B Cuantificador
Existencial
Ejemplo 3
Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : ∀x, x es A → x es B Ejemplo 1
Ejemplo 2
■ Ningún A es B : ∀x, x es A → x no es B Cuantificador
Universal
■ Existe un A que es B : ∃x, x es A ∧ x es B Cuantificador
Existencial
Ejemplo 3
■ Hay algún A que es B : Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : ∀x, x es A → x es B Ejemplo 1
Ejemplo 2
■ Ningún A es B : ∀x, x es A → x no es B Cuantificador
Universal
■ Existe un A que es B : ∃x, x es A ∧ x es B Cuantificador
Existencial
Ejemplo 3
■ Hay algún A que es B : ∃x, x es A ∧ x es B Ejemplo 4
Conversión
Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : ∀x, x es A → x es B Ejemplo 1
Ejemplo 2
■ Ningún A es B : ∀x, x es A → x no es B Cuantificador
Universal
■ Existe un A que es B : ∃x, x es A ∧ x es B Cuantificador
Existencial
Ejemplo 3
■ Hay algún A que es B : ∃x, x es A ∧ x es B Ejemplo 4
Conversión
■ Algún A es B : Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : ∀x, x es A → x es B Ejemplo 1
Ejemplo 2
■ Ningún A es B : ∀x, x es A → x no es B Cuantificador
Universal
■ Existe un A que es B : ∃x, x es A ∧ x es B Cuantificador
Existencial
Ejemplo 3
■ Hay algún A que es B : ∃x, x es A ∧ x es B Ejemplo 4
Conversión
■ Algún A es B : ∃x, x es A ∧ x es B Sumario

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : ∀x, x es A → x es B Ejemplo 1
Ejemplo 2
■ Ningún A es B : ∀x, x es A → x no es B Cuantificador
Universal
■ Existe un A que es B : ∃x, x es A ∧ x es B Cuantificador
Existencial
Ejemplo 3
■ Hay algún A que es B : ∃x, x es A ∧ x es B Ejemplo 4
Conversión
■ Algún A es B : ∃x, x es A ∧ x es B Sumario
■ Algunos A son B :

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : ∀x, x es A → x es B Ejemplo 1
Ejemplo 2
■ Ningún A es B : ∀x, x es A → x no es B Cuantificador
Universal
■ Existe un A que es B : ∃x, x es A ∧ x es B Cuantificador
Existencial
Ejemplo 3
■ Hay algún A que es B : ∃x, x es A ∧ x es B Ejemplo 4
Conversión
■ Algún A es B : ∃x, x es A ∧ x es B Sumario
■ Algunos A son B : ∃x, x es A ∧ x es B

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : ∀x, x es A → x es B Ejemplo 1
Ejemplo 2
■ Ningún A es B : ∀x, x es A → x no es B Cuantificador
Universal
■ Existe un A que es B : ∃x, x es A ∧ x es B Cuantificador
Existencial
Ejemplo 3
■ Hay algún A que es B : ∃x, x es A ∧ x es B Ejemplo 4
Conversión
■ Algún A es B : ∃x, x es A ∧ x es B Sumario
■ Algunos A son B : ∃x, x es A ∧ x es B
■ Entre todos los A alguno es B :

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x, x es A → x es B Introducción

Predicados
■ Cada A es B : ∀x, x es A → x es B Ejemplo 1
Ejemplo 2
■ Ningún A es B : ∀x, x es A → x no es B Cuantificador
Universal
■ Existe un A que es B : ∃x, x es A ∧ x es B Cuantificador
Existencial
Ejemplo 3
■ Hay algún A que es B : ∃x, x es A ∧ x es B Ejemplo 4
Conversión
■ Algún A es B : ∃x, x es A ∧ x es B Sumario
■ Algunos A son B : ∃x, x es A ∧ x es B
■ Entre todos los A alguno es B :
∃x, x es A ∧ x es B

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 23/25

 Ejemplo
Para la afirmación:
∀x, si x es político, entonces x es un buen conversador
Usando los predicados
■ P (x) = x es político y

■ C(x) = x es un buen conversador,

indique cuáles expresiones describen la afirmación:

1. Entre todos los políticos, algunos son buenos
conversadores.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 24/25

 Ejemplo
Para la afirmación:
∀x, si x es político, entonces x es un buen conversador
Usando los predicados
■ P (x) = x es político y

■ C(x) = x es un buen conversador,

indique cuáles expresiones describen la afirmación:

1. Entre todos los políticos, algunos son buenos
conversadores.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 24/25

 Ejemplo
Para la afirmación:
∀x, si x es político, entonces x es un buen conversador
Usando los predicados
■ P (x) = x es político y

■ C(x) = x es un buen conversador,

indique cuáles expresiones describen la afirmación:

1. Entre todos los políticos, algunos son buenos
conversadores. No
2. Todo político es un buen conversador. Sí
3. Cada político es un buen conversador.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 24/25

 Ejemplo
Para la afirmación:
∀x, si x es político, entonces x es un buen conversador
Usando los predicados
■ P (x) = x es político y

■ C(x) = x es un buen conversador,

indique cuáles expresiones describen la afirmación:

1. Entre todos los políticos, algunos son buenos
conversadores. No
2. Todo político es un buen conversador. Sí
3. Cada político es un buen conversador. Sí
4. Algunos buenos conversadores son políticos.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 24/25

 Ejemplo
Para la afirmación:
∀x, si x es político, entonces x es un buen conversador
Usando los predicados
■ P (x) = x es político y

■ C(x) = x es un buen conversador,

indique cuáles expresiones describen la afirmación:

1. Entre todos los políticos, algunos son buenos
conversadores. No
2. Todo político es un buen conversador. Sí
3. Cada político es un buen conversador. Sí
4. Algunos buenos conversadores son políticos. No
5. Cualquier político es un buen conversador.

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 24/25

 Ejemplo
Para la afirmación:
∀x, si x es político, entonces x es un buen conversador
Usando los predicados
■ P (x) = x es político y

■ C(x) = x es un buen conversador,

indique cuáles expresiones describen la afirmación:

1. Entre todos los políticos, algunos son buenos
conversadores. No
2. Todo político es un buen conversador. Sí
3. Cada político es un buen conversador. Sí
4. Algunos buenos conversadores son políticos. No
5. Cualquier político es un buen conversador. Sí

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 24/25

 Temas Vistos

■ Concepto de Predicado Introducción

Predicados
■ Dominio de un Predicado Ejemplo 1
Ejemplo 2
■ Cuantificador Universal Cuantificador
Universal
Cuantificador
■ Cuantificador Existencial Existencial
Ejemplo 3
■ Cuándo son verdaderas afirmaciones con Ejemplo 4
cuantificadores Conversión
Sumario
■ Ejemplos con el Mundo de Tarski y con Bases de
Datos
■ Conversión de Textos usando cuantificadores

POL: Predicados y Cuantificadores Matemáticas Discretas - p. 25/25