Matemáticas Discretas

TC1003

Predicados y Cuantificadores
Departamento de Matemáticas

ITESM

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

 Introducción

En esta lectura introduciremos dos elementos que Introducción

Predicados
establecen la diferencia entre la lógica Cuantificador
Universal
proposicional y la lógica de predicados: el Cuantificador
Existencial
concepto de predicado y el de cuantificador. Ejemplo 1
Ejemplo 2
Ejemplo 3
Ejemplo 4
Conversión
Ejemplo 5
Sumario

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

 Predicados

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

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

 Predicados

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

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

 Cuantificador Universal: ∀

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

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

 Cuantificador Universal: ∀

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

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

 Cuantificador Universal: ∀

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

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

 Cuantificador Universal: ∀

Definición Introducción
Predicados
Sea Q(x) un predicado y D el dominio de Q. Una Cuantificador
Universal
afirmación universal es una declaración de la Cuantificador
Existencial
forma: Ejemplo 1
∀ x ∈ D, Q(x) Ejemplo 2
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si Q(x) es Conversión
Ejemplo 5
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.

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

 Cuantificador Universal: ∀

Definición Introducción
Predicados
Sea Q(x) un predicado y D el dominio de Q. Una Cuantificador
Universal
afirmación universal es una declaración de la Cuantificador
Existencial
forma: Ejemplo 1
∀ x ∈ D, Q(x) Ejemplo 2
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si Q(x) es Conversión
Ejemplo 5
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.

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

 Cuantificador Universal: ∀

Definición Introducción
Predicados
Sea Q(x) un predicado y D el dominio de Q. Una Cuantificador
Universal
afirmación universal es una declaración de la Cuantificador
Existencial
forma: Ejemplo 1
∀ x ∈ D, Q(x) Ejemplo 2
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si Q(x) es Conversión
Ejemplo 5
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)

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

 Cuantificador existencial: ∃

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

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

 Cuantificador existencial: ∃

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

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

 Cuantificador existencial: ∃

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

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

 Cuantificador existencial: ∃

Definición Introducción
Predicados
Sea Q(x) un predicado con cominio D. Una Cuantificador
Universal
afirmación existencial es una declaración de la Cuantificador
Existencial
forma: Ejemplo 1
∃ x ∈ D, Q(x) Ejemplo 2
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si existe en Conversión
Ejemplo 5
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.

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

 Cuantificador existencial: ∃

Definición Introducción
Predicados
Sea Q(x) un predicado con cominio D. Una Cuantificador
Universal
afirmación existencial es una declaración de la Cuantificador
Existencial
forma: Ejemplo 1
∃ x ∈ D, Q(x) Ejemplo 2
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si existe en Conversión
Ejemplo 5
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.

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

 Cuantificador existencial: ∃

Definición Introducción
Predicados
Sea Q(x) un predicado con cominio D. Una Cuantificador
Universal
afirmación existencial es una declaración de la Cuantificador
Existencial
forma: Ejemplo 1
∃ x ∈ D, Q(x) Ejemplo 2
Ejemplo 3
Ejemplo 4
Y es definida a ser verdadera si y sólo si existe en Conversión
Ejemplo 5
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)

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

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

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

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

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

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

∃x ∈ D, P (x) se escribirá ∃x, P (x)

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

 Ejemplo 1

Veamos un ejemplo que involucra situaciones Introducción

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

Predicados y Cuantificadores Matemáticas Discretas - p. 7/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.

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

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

f F T F T F
g F T F F T

Predicados y Cuantificadores Matemáticas Discretas - p. 9/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

Predicados y Cuantificadores Matemáticas Discretas - p. 10/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

Predicados y Cuantificadores Matemáticas Discretas - p. 10/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.

Predicados y Cuantificadores Matemáticas Discretas - p. 10/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

Predicados y Cuantificadores Matemáticas Discretas - p. 11/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

Predicados y Cuantificadores Matemáticas Discretas - p. 11/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.

Predicados y Cuantificadores Matemáticas Discretas - p. 11/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

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

nos indican que la afirmación es falsa

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

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

contraejemplos.

Predicados y Cuantificadores Matemáticas Discretas - p. 12/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

Predicados y Cuantificadores Matemáticas Discretas - p. 13/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.

Predicados y Cuantificadores Matemáticas Discretas - p. 13/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

Predicados y Cuantificadores Matemáticas Discretas - p. 14/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.

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

 Ejemplo 2

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

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

Predicados y Cuantificadores Matemáticas Discretas - p. 15/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.

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

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

M(t) = t es un mujer.
Letras(t) = t tiene como carrera Letras.

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

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

Luis F F T F T F F
Soledad F F F F F T F

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

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

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.

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

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

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.

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

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

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.

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

 Para la afirmación: Introducción
Predicados
Cuantificador
∀ x, x tiene como hobby leer o x es hombre Universal
Cuantificador
Existencial
los datos: Ejemplo 1
Ejemplo 2
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 Ejemplo 5
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

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

 Para la afirmación: Introducción
Predicados
Cuantificador
∀ x, x tiene como hobby leer o x es hombre Universal
Cuantificador
Existencial
los datos: Ejemplo 1
Ejemplo 2
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 Ejemplo 5
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.

Predicados y Cuantificadores Matemáticas Discretas - p. 19/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

Predicados y Cuantificadores Matemáticas Discretas - p. 20/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.

Predicados y Cuantificadores Matemáticas Discretas - p. 20/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.

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

 Ejemplo 3

Ejemplo Introducción
Predicados
Sea P (x) el predicado con dominio los número Cuantificador
Universal
reales: Cuantificador

x2 ≤ 10 Existencial
Ejemplo 1
Ejemplo 2
Identifique cuáles opciones contienen Ejemplo 3
afirmaciones verdaderas: Ejemplo 4
Conversión
1. P (−2) Ejemplo 5
Sumario

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

 Ejemplo 3

Ejemplo Introducción
Predicados
Sea P (x) el predicado con dominio los número Cuantificador
Universal
reales: Cuantificador

x2 ≤ 10 Existencial
Ejemplo 1
Ejemplo 2
Identifique cuáles opciones contienen Ejemplo 3
afirmaciones verdaderas: Ejemplo 4
Conversión
1. P (−2) Verdadera: (−2)2 = 4 ≤ 10. Ejemplo 5
Sumario
2. P (−6)

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

 Ejemplo 3

Ejemplo Introducción
Predicados
Sea P (x) el predicado con dominio los número Cuantificador
Universal
reales: Cuantificador

x2 ≤ 10 Existencial
Ejemplo 1
Ejemplo 2
Identifique cuáles opciones contienen Ejemplo 3
afirmaciones verdaderas: Ejemplo 4
Conversión
1. P (−2) Verdadera: (−2)2 = 4 ≤ 10. Ejemplo 5
Sumario
2. P (−6) Falsa: (−6)2 = 36 6≤ 10.
3. P ( 21 )

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

 Ejemplo 3

Ejemplo Introducción
Predicados
Sea P (x) el predicado con dominio los número Cuantificador
Universal
reales: Cuantificador

x2 ≤ 10 Existencial
Ejemplo 1
Ejemplo 2
Identifique cuáles opciones contienen Ejemplo 3
afirmaciones verdaderas: Ejemplo 4
Conversión
1. P (−2) Verdadera: (−2)2 = 4 ≤ 10. Ejemplo 5
Sumario
2. P (−6) Falsa: (−6)2 = 36 6≤ 10.
3. P ( 21 ) Verdadera: (1/2)2 = 1/4 ≤ 10.
4. P (2)

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

 Ejemplo 3

Ejemplo Introducción
Predicados
Sea P (x) el predicado con dominio los número Cuantificador
Universal
reales: Cuantificador

x2 ≤ 10 Existencial
Ejemplo 1
Ejemplo 2
Identifique cuáles opciones contienen Ejemplo 3
afirmaciones verdaderas: Ejemplo 4
Conversión
1. P (−2) Verdadera: (−2)2 = 4 ≤ 10. Ejemplo 5
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)

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

 Ejemplo 3

Ejemplo Introducción
Predicados
Sea P (x) el predicado con dominio los número Cuantificador
Universal
reales: Cuantificador

x2 ≤ 10 Existencial
Ejemplo 1
Ejemplo 2
Identifique cuáles opciones contienen Ejemplo 3
afirmaciones verdaderas: Ejemplo 4
Conversión
1. P (−2) Verdadera: (−2)2 = 4 ≤ 10. Ejemplo 5
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.

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

 Ejemplo 4

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

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

 Ejemplo 4

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

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

 Ejemplo 4

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

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

 Ejemplo 4

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

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

 Ejemplo 4

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

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

 Ejemplo 4

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 De Texto a FBF: Variantes de ∀ y ∃

■ Todos los A son B: ∀x ∈ A, x cumple B Introducción

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

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

 Ejemplo 5

Ejemplo Introducción
Predicados
Para la afirmación: Cuantificador
Universal
Cuantificador
∀ político x, x es un buen conversador Existencial
Ejemplo 1
Indique cuáles expresiones la describen: Ejemplo 2
Ejemplo 3
1. Entre todos los políticos, algunos son buenos Ejemplo 4
Conversión
conversadores. Ejemplo 5
Sumario

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

 Ejemplo 5

Ejemplo Introducción
Predicados
Para la afirmación: Cuantificador
Universal
Cuantificador
∀ político x, x es un buen conversador Existencial
Ejemplo 1
Indique cuáles expresiones la describen: Ejemplo 2
Ejemplo 3
1. Entre todos los políticos, algunos son buenos Ejemplo 4
Conversión
conversadores. Ejemplo 5
Sumario
2. Todo político es un buen conversador.

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

 Ejemplo 5

Ejemplo Introducción
Predicados
Para la afirmación: Cuantificador
Universal
Cuantificador
∀ político x, x es un buen conversador Existencial
Ejemplo 1
Indique cuáles expresiones la describen: Ejemplo 2
Ejemplo 3
1. Entre todos los políticos, algunos son buenos Ejemplo 4
Conversión
conversadores. Ejemplo 5
Sumario
2. Todo político es un buen conversador.
3. Cada político es un buen conversador.

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

 Ejemplo 5

Ejemplo Introducción
Predicados
Para la afirmación: Cuantificador
Universal
Cuantificador
∀ político x, x es un buen conversador Existencial
Ejemplo 1
Indique cuáles expresiones la describen: Ejemplo 2
Ejemplo 3
1. Entre todos los políticos, algunos son buenos Ejemplo 4
Conversión
conversadores. Ejemplo 5
Sumario
2. Todo político es un buen conversador.
3. Cada político es un buen conversador.
4. Algunos buenos conversadores son políticos.

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

 Ejemplo 5

Ejemplo Introducción
Predicados
Para la afirmación: Cuantificador
Universal
Cuantificador
∀ político x, x es un buen conversador Existencial
Ejemplo 1
Indique cuáles expresiones la describen: Ejemplo 2
Ejemplo 3
1. Entre todos los políticos, algunos son buenos Ejemplo 4
Conversión
conversadores. Ejemplo 5
Sumario
2. Todo político es un buen conversador.
3. Cada político es un buen conversador.
4. Algunos buenos conversadores son políticos.
5. Cualquier político es un buen conversador.

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

 Temas Vistos

■ Concepto de Predicado Introducción

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

Datos
■ Conversión de Textos usando cuantificadores

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