UNIVERISDAD DE CONCEPCIN FACULTAD DE C IENCIAS F SICAS Y M ATEMTICAS D EPARTAMENTO DE M ATEMTICA

Pauta Test 1 Matemtica I (527113) Profesor: Francisco Toledo O. Alumno Ayudante: Jorge Aguayo A. Nota: El enunicado original del Problema 1 se modic durante el Test por el siguiente Problema 1 Determine si la siguiente proposicin [p (q r )] p [(r q ) ( r q )] es una tautologa o no. Justique (6 puntos)

S OLUCIN Se procede a hacer la tabla de verdad de la proposicin. Para ello, considerando las proposiciones A:qr B : q r C:rq se tiene que p q r q r r q A B C p A B C [p A] p [B C ] V V V F F V V V V V V F V V V F F V V F V F F F V F V F V V F F F F V F F V F V F F V V V V V V V V F V F V V F F V V V V V V F F F V F F V V F V F V F F F F F V V F F F F V V F F F F F F V V V V V V V V F F De esta forma [p (q r )] p [(r q ) ( r q )] no es tautologa ni contradiccin, es decir, es contingencia. Para determinar el puntaje, se consideran los siguientes criterios Negaciones q y p; 0.5 puntos r q ; 0.5 puntos A, B y C ; 2 puntos p A y B C ; 1.5 puntos [p A], p [B C ] y conclusin; 1.5 puntos 1

Se comparar DIRECTAMENTE desde la tabla de verdad, ya que los errores se arrastran. Si hay un error en una columna que induce un error en la siguiente, se vericar que las restantes estn en funcin del error. De no ser as, las siguientes sern castigadas con descuento de puntaje. Problema 2 Diga, justicadamente, si la siguiente proposicin [(q q ) p] (p p) es una tautologa, contradiccin o contingencia (6 puntos)

S OLUCIN Este problema se puede analizar de dos formas: identicando las contradicciones en ambos lados de la equivalencia efectuando un anlisis en tabla de verdad. El puntaje es exactamente el mismo y se detalla para el primer mtodo. Primero, se debe observar que p p es una contradiccin. Dado que una de las dos expresiones, p p, ser falsa, entonces p p es siempre falsa. (2 puntos) Anlogamente, q q es una contradiccin. En efecto, ambas no pueden ser ni verdaderas ni falsas a la vez. (2 puntos) As, [(q q ) p] es, tambin una contradiccin (ya que (q q ) es falsa). (1 punto) Finalmente, como (p p) y [(q q ) p] son contradicciones a la vez, son equivalentes, se cumple que es una TAUTOLOGA. (1 punto) As, se cumple lo pedido.