at

at e

gica de Predicados Clase 3: Lo

2013-2

Matem aticas I

at e

En principio asumimos que los sujetos a y b son miembros de una colecci on que debe ser clara por el contexto o establecida por el lector. En este caso la colecci on podr a ser todas las pizarras en este pabell on, en esta universidad, en este pa s, o en el mundo entero. Si denotamos por C la colecci on de todas las pizarras en la U.P. la expresi on a 2 C signica el miembro a pertenece a la colecci on C = a es una pizarra de la U.P. Denici on 1.2. Una variable es un s mbolo que representa un miembro no especicado de una colecci on. Ejemplo 1.3. Denotamos por C la colecci on de todas las pizarras de la U.P. En este caso a representa esta pizarra y la variable x representa cualquier pizarra de la universidad. Entonces el enunciado P (x) signica la pizarra x es blanca.

at

Observaci on 1.4. P (x) no es una proposici on ya que x no est a especicada y por ello P (x) no puede ser verdadero o falso hasta que le asignemos una valor espec co (como a o b).

at

Los cuanticadores nos permiten construir una proposici on usando variables y predicados.

Denici on 1.5. El cuanticador universal se dene como la expresi on Para todo ... y se denota por 8. El cuanticador existencial se dene como la expresi on Existe ... y se denota por 9. En t erminos de proposiciones tenemos 8x 2 C, [P (x)] P (a) para todo a en C . 9x 2 C, [P (x)] P (a) para alg un a espec co de C .

c 2013 Todos los derechos reservados. Prohibida su reproducci on parcial o total.

Ejemplo 1.6. Con la notaci on introducida en los ejemplos anteriores vemos que la expresi on 8x 2 C, [P (x)] signica Para toda pizarra x en la U.P., x es blanca = Toda pizarra en la U.P. es blanca. Adem as, la expresi on 9x 2 C, [P (x)] signica entonces Existe una pizarra x en la U.P. tal que x es blanca = Al menos una pizarra en la U.P. es blanca.

at

at

at

at

P ( a) P ( b)

= sujeto a tiene propiedad P = Esta pizarra es blanca. = sujeto b tiene propiedad P = Esa pizarra es blanca.

at

at

Ejemplo 1.1. En la proposici on Esta pizarra es blanca podemos identicar el sujeto: Esta pizarra y el predicado: es blanca. Si denotamos por a el sujeto esta pizarra y por P el predicado es blanca entonces podemos referirnos a la proposici on original por P (a), es decir, sujeto a tiene propiedad P . Si b = esa pizarra entonces

1.

Cuanticadores

at

Proposici on 1.7. Para toda colecci on C y predicado P tenemos (8x 2 C, [P (x)]) 9x 2 C, [P (x)], (9x 2 C, [P (x)]) 8x 2 C, [P (x)]. Observaci on 1.8. En ocasiones es necesario determinar si todo miembro de una colecci on tiene cierta propiedad. En t erminos l ogicos se nos pide demostrar que 8 x 2 C, [P (x)]. Cuando esto no es cierto la proposici on anterior nos dice que debemos encontrar por lo menos un elemento a 2 C tal que P (a). Dicho elemento que prueba la falsedad del enunciado original es llamado un contraejemplo.

UP

UP

Si no es cierto que todos los miembros de una colecci on cumplen cierta propiedad entonces debe ser cierto que al menos uno de ellos no cumple dicha propiedad y viceversa. Esto quiere decir que los cuanticadores universal y existencial son opuestos el uno del otro. Esta idea se formaliza en la siguiente proposici on.

at

at

(8x 2 C, [Q(x) ! P (x)]) 9x 2 C, [Q(x) ! P (x)] 9x 2 C, [Q(x) _ P (x])] 9x 2 C, [Q(x) ^ P (x])]

at

at

9x 2 A, 8y 2 M, [P (x, y )] Existe al menos un alumno matriculado con todos los profesores de Mate 1. 9x 2 A, 9y 2 M, [P (x, y )] Existe al menos un alumno matriculado con al menos un profesor de Mate 1.

Observaci on 1.11. En ocasiones cuando se usa el cuanticador existencial es u til mencionar que dicha existencia es u nica. Si escribimos 9! x 2 C, [P (x)] esto quiere decir que existe un u nico x 2 C que satisface la propiedad P . Por ejemplo, todo alumno de Mate 1 est a matriculado con al menos un profesor, pero de hecho nadie puede matricularse con m as de un profesor. En este caso es m as apropiado usar 9! que 9. El opuesto 9! signica que no existe un u nico elemento con cierta propiedad, eso quiere decir que existen al menos dos elementos o ning un elemento con dicha propiedad.

UP

UP

8x 2 A, 9y 2 M, [P (x, y )] Todo alumno est a matriculado con al menos un profesor de Mate 1.

at

at

at

at

8x 2 A, 8y 2 M, [P (x, y )] Todo alumno est a matriculado con todo profesor de Mate 1.

Ejemplo 1.10. Es posible considerar predicados que dependen de dos variables. Por ejemplo, sean A la colecci on de alumnos de la universidad, M la colecci on de profesores de Mate 1, y P (x, y ) = el alumno x est a matriculado con el profesor y . Entonces

UP

UP

Esto signica que la proposici on original es equivalente a la proposici on Existe al menos una pizarra en este pabell on que no es blanca.

Ejemplo 1.9. Consideremos la siguiente proposici on: No es cierto que para toda pizarra en la U.P. se cumpla que si una pizarra esta en este pabell on entonces dicha pizarra es blanca. Queremos encontrar una proposici on equivalente que no est e en la forma de una negaci on para entenderla mejor. Sea C la colecci on de pizarras de la U.P., P es el predicado es blanca y Q el predicado pertenece a este pabell on. Entonces la proposici on inicial se puede expresar como (8x 2 C, [Q(x) ! P (x)]). Usando las propiedades estudiadas vemos que

at

at

at

at

at

at

2.

Argumentos

Ejemplo 2.1. Deseamos mostrar que el argumento 8x 2 C, [P (x) ! Q(x)], P (a) ` Q(a) es v alido. Para ello hacemos

Ahora podemos aplicar las herramientas de la l ogica proposicional al estudio de argumentos que utilizan cuanticadores.

UP

at

(8x 2 C, [P (x) _ Q(x)]), En efecto, tenemos que

(8x 2 C, [Q(x)])

9x 2 C, [P (x) ^ Q(x)].

(8x 2 C, [Q(x)]) 9x 2 C, [Q(x)] Q(a) para alg un a ! P (a) _ Q(a) porque (8x 2 C, [P (x) _ Q(x)]) ! (P (a) _ Q(a)) ^ Q(a) ! P (a) ! P (a) ^ Q(a) para alg un a ! 9x 2 C, [P (x) ^ Q(x)].

UP

UP

Ejemplo 2.2. Verique la validez del siguiente argumento: En el otro sal on todos corren o nadan. No todos los alumnos nadan. Por lo tanto hay alumnos en el otro sal on que corren y no nadan. Del contexto vemos que C es la colecci on de alumnos en el otro sal on. Denimos P (x) = x corre, Q(x) = x nada. El argumento se puede expresar entonces como

at

at

at

UP

UP 1 e at M M at
3

M e

at

at

at

8x 2 C, [P (x) ! Q(x)] ! (P (a) ! Q(a)) ! P (a) ^ (P (a) ! Q(a)) ! Q ( a) .

UP

at

at

at

Ejercicios Adicionales

a ) En el banco de la esquina, alguien hizo sonar la alarma y todos salieron corriendo. b ) Si todos los expertos creen que fumar es da nino, entonces todos deber an dejar de fumar. c ) En este colegio, si es feriado, entonces todos los estudiantes est an fuera del colegio.

3. De las siguientes premisas: Si un pato no es vertebrado, entonces hay patos sin plumas. Todos los patos tienen plumas. Podemos concluir que los patos son vertebrados? 4. Analizar la validez del siguiente argumento: Todos los ni nos son curiosos e inocentes. Algunos ni nos son realmente brillantes. De ah que algunos ni nos sean curiosos y realmente brillantes.

UP

UP
! | an

2. Indique un enunciado equivalente al siguiente, en donde no haya negaci on de proposiciones compuestas ni aparezcan condicionales: No es cierto que, si algunos de los pol ticos mienten entonces todos los pol ticos no son respetables.

1. Traduzca al lenguaje simb olico de l ogica formal las siguientes proposiciones.

at

at

8 2 R, 9 N 2 N, [( > 0 ^ n 2 N ^ n > N ) 8 2 R, 9 2 R, [( > 0 ^

5. Niegue los siguientes enunciados sin hacer uso de la negaci on de proposiciones compuestas ni condicionales. > 0 ^ x 2 R ^ 0 < | x x0 | < ) L | < ]

UP

UP

8 M 2 R, 9 N 2 R, [(M > 0 ^ N > 0 ^ x 2 R ^ x > N )

! f ( x) > M ]

! | f ( x ) L | < ]

at

at

UP

UP 1 e at M M at
4

M e

at

at

at

at