Matemticas Discretas TC1003

POL: Predicados y Cuanticadores

Departamento de Matemticas

ITESM

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 1/25

Introduccin
La Lgica de Predicados o Lgica de Primer Orden (POL o FOL) es una extensin de Lgica Proposicional. Todo las las equivalencias y reglas de inferencia vistas en la lgica proposicional siguen siendo vlidas en la lgica de predicados. En esta lectura introduciremos dos elementos que establecen la diferencia entre la lgica proposicional y la lgica de predicados: el concepto de predicado y el de cuanticador.
Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 Ejemplo 4 Conversion Sumario

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 2/25

Predicados
Denicion
Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 Ejemplo 4 Conversion Sumario

Un predicado es una sentencia declarativa que contiene un nmero denido de variables y que se vuelve en una proposicin cuando las variables son sustituidas por valores. El dominio de un predicado es el conjunto de todos los valores que pueden ser sustituidos en las variables.

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 3/25

Ejemplo 1
Ejemplo
Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 Ejemplo 4 Conversion Sumario

Sea P (x) el predicado con dominio los nmero reales: P (x) = x2 10 Identique cules opciones contienen armaciones verdaderas: 1. P (2) Verdadera: (2)2 = 4 10. 2. P (6) Falsa: (6)2 = 36 10. 1 3. P ( 2 ) Verdadera: (1/2)2 = 1/4 10. 4. P (2) Verdadera: (2)2 = 4 10. 5. P (4) Falsa: (4)2 = 16 10.

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 4/25

Ejemplo 2
Ejemplo
Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 Ejemplo 4 Conversion Sumario

Sea P (x, y) el predicado: P (x, y) = Si x < y, entonces x2 < y 2 . Con dominio para x y para y todo el conjunto de los nmeros reales. Identique cules opciones contienen armaciones verdaderas: 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. 1 4. P ( 2 , 1) : (1/2 < 1) (1/4 < 1): cierta. 5. P (1, 3) : (1 < 3) (1 < 9): cierta.

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 5/25

Cuanticador Universal:
Denicion

Sea Q(x) un predicado y D el dominio de Q. Una armacin universal es una declaracin de la forma: x D, Q(x) Y es denida a ser verdadera si y slo si Q(x) es verdadera para todo elemento x que est en el dominio D. La armacin es falsa si y slo 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 armacin universal. Note tambin que se traduce en una conjuncin: Si por ejemplo D = {1, a, e} entonces x D, Q(x) Q(1) Q(a) Q(e)
POL: Predicados y Cuanticadores

Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 Ejemplo 4 Conversion Sumario

Matemticas Discretas - p. 6/25

Cuanticador existencial:
Denicion

Sea Q(x) un predicado con cominio D. Una armacin existencial es una declaracin de la forma: x D, Q(x) Y es denida a ser verdadera si y slo si existe en el dominio D al menos un valor de x para el cual Q(x) es verdadera. A este valor lo referiremos a un ejemplo para la armacin existencial. La armacin ser falsa si para todo x en el dominio Q(x) es falsa. Note tambin que se traduce en una disjuncin: Si por ejemplo D = {1, a, e} entonces x D, Q(x) Q(1) Q(a) Q(e)
POL: Predicados y Cuanticadores

Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 Ejemplo 4 Conversion Sumario

Matemticas Discretas - p. 7/25

s s

El smbolo se llama cuanticador universal. El smbolo se llama cuanticador existencial. Cuando est claro cual es el dominio del predicado se omitir la referencia al conjunto. Es decir, x D, P (x) se escribir x, P (x) x D, P (x) se escribir x, P (x)

Nota

Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 Ejemplo 4 Conversion Sumario

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 8/25

Ejemplo 3
Veamos un ejemplo que involucra situaciones simplicadas conocido como el mundo de Tarski.
Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 Ejemplo 4 Conversion Sumario

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 9/25

Considere:
a b c g e f d

Indique cules armaciones son verdaderas:

1. t, Circulo(t) Rojo(t) 2. t, Cuadrado(t) Rojo(t) 3. t, Cuadrado(t) Rojo(t) 4. t, Triangulo(t) Rojo(t) 5. t, Cuadrado(t) Azul(t)

Soluciones:

Y los predicados:
Azul(t) Rojo(t) Triangulo(t) Cuadrado(t) Circulo(t) = = = = = t es de color azul. t es de color rojo. t es un tringulo . t es un cuadrado. t es un crculo.

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 10/25

Con los predicados y la gura generamos la tabla:

t a b c d e f g
Azul Rojo Triangulo Cuadrado Circulo

T T F F F F F

F F T T T T T

T T F F F F F

F F F T T T F

F F T F F F T

Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 Ejemplo 4 Conversion Sumario

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 11/25

Para la armacin: t, Circulo(t) Rojo(t) los datos

t a b c d e f g
Azul Rojo Triangulo Cuadrado Circulo Circulo(t) Rojo(t)

T T F F F F F

F F T T T T T

T T F F F F F

F F F T T T F

F F T F F F T

F F T T T T T

nos indican que la armacin es falsa: a y b son contraejemplos.

POL: Predicados y Cuanticadores Matemticas Discretas - p. 12/25

Para la armacin: t, Cuadrado(t) Rojo(t) los datos

t a b c d e f g
Azul Rojo Triangulo Cuadrado Circulo Cuadrado(t) Rojo(t)

T T F F F F F

F F T T T T T

T T F F F F F

F F F T T T F

F F T F F F T

F F F T T T F

nos indican que la armacin es cierta: d, e y f son ejemplos.

POL: Predicados y Cuanticadores Matemticas Discretas - p. 13/25

Para la armacin: t, Cuadrado(t) Rojo(t) los datos

t a b c d e f g
Azul Rojo Triangulo Cuadrado Circulo Cuadrado(t) Rojo(t)

T T F F F F F

F F T T T T T

T T F F F F F

F F F T T T F

F F T F F F T

F F F T T T F

nos indican que la armacin es falsa: a, b, c y g son contraejemplos.

POL: Predicados y Cuanticadores Matemticas Discretas - p. 14/25

Para la armacin: t, Triangulo(t) Rojo(t) los datos

t a b c d e f g
Azul Rojo Triangulo Cuadrado Circulo Triangulo(t) Rojo(t)

T T F F F F F

F F T T T T T

T T F F F F F

F F F T T T F

F F T F F F T

T T T T T T T

nos indican que la armacin es cierta.

POL: Predicados y Cuanticadores Matemticas Discretas - p. 15/25

Para la armacin: t, Cuadrado(t) Azul(t) los datos

t a b c d e f g
Azul Rojo Triangulo Cuadrado Circulo Cuadrado(t) Azul(t)

T T F F F F F

F F T T T T T

T T F F F F F

F F F T T T F

F F T F F F T

F F F F F F F

nos indican que la armacin es falsa.

POL: Predicados y Cuanticadores Matemticas Discretas - p. 16/25

De acuerdo a las preguntas, en este ejemplo conviene denir los predicados: M19(t) = t tiene menos de 19 aos. Co(t) = t tiene como hobby correr. Leer(t) = t tiene como hobby leer. Mus(t) = t tiene como hobby la msica. H(t) = t es un hombre. M(t) = t es un mujer. Letras(t) = t tiene como carrera Letras.

Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 Ejemplo 4 Conversion Sumario

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 19/25

De acuerdo a los predicados, tendramos la siguiente tabla:

M19 Juan Mara Toms Lalo Luis Soledad
s s s

C F F F F F F

Leer T F F F T F

Mus F T F F F F

H T F T T T F

M F T F F F T

Letras F F F F F F

F F F F F F

Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 Ejemplo 4 Conversion Sumario

x, x es menor de 19 aos es falsa. x, x tiene como carrera Letras es falsa. x, x tiene como hobyy correr es falsa.

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 20/25

Para la armacin: x, x tiene como hobby leer o x es hombre los datos:

t Juan Mara Toms Lalo Luis Soledad M19 F F F F F F C F F F F F F Leer T F F F T F Mus F T F F F F H T F T T T F M F T F F F T Letras F F F F F F Leer(t) T F T T T F

Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 H(t) Ejemplo 4 Conversion Sumario

indican que es falsa: Mara y Soledad son los contraejemplos.

POL: Predicados y Cuanticadores Matemticas Discretas - p. 21/25

Para la armacin: x, si x tiene como hobby la msica, entonces x es mujer. los datos
M19 Juan Mara Toms Lalo Luis Soledad F F F F F F C F F F F F F Leer T F F F T F Mus F T F F F F H T F T T T F M F T F F F T Letras F F F F F F Mus M T T T T T T

indican que es verdadera. No te que la clave es que F X es T.

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 22/25

De Texto a FBF: Variantes de y

s s s s s s s s

Todos los A son B: x, x es A x es B Cada A es B : x, x es A x es B Ningn A es B : x, x es A x no es B Existe un A que es B : x, x es A x es B Hay algn A que es B : x, x es A x es B Algn A es B : x, x es A x es B 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

Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 Ejemplo 4 Conversion Sumario

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 23/25

Ejemplo

Para la armacin: x, si x es poltico, entonces x es un buen conversador Usando los predicados s P (x) = x es poltico y s C(x) = x es un buen conversador, indique cules expresiones describen la armacin: 1. Entre todos los polticos, algunos son buenos conversadores. No 2. Todo poltico es un buen conversador. S 3. Cada poltico es un buen conversador. S 4. Algunos buenos conversadores son polticos. No 5. Cualquier poltico es un buen conversador. S
POL: Predicados y Cuanticadores Matemticas Discretas - p. 24/25

Temas Vistos
s s s s s

Concepto de Predicado Dominio de un Predicado Cuanticador Universal Cuanticador Existencial Cundo son verdaderas armaciones con cuanticadores Ejemplos con el Mundo de Tarski y con Bases de Datos Conversin de Textos usando cuanticadores

Introduccion Predicados Ejemplo 1 Ejemplo 2 Cuanticador Universal Cuanticador Existencial Ejemplo 3 Ejemplo 4 Conversion Sumario

POL: Predicados y Cuanticadores

Matemticas Discretas - p. 25/25