GUIA DE EJERCICIOS No 9 ALGEBRA I - INGENIERIA Materia: Elementos de Lgica o LOGICA PROPOSICIONAL

1. Dadas las proposiciones p : q : r : Escriba las proposiciones a) p q b) q r c) (p q) r c) q r a es mayor que cero a2 es mayor que cero a es un n mero par u

2. Mediante conectivos lgicos expresar simblicamente las siguientes proposiciones : o o a) Se puede tener 18 aos o ser voluntario de la Cruz roja n b) Juan sale de vacaciones y viaja al Sur. c) En Arica sale el sol llover. o a d) Si Valparaiso es puerto, Venus es un planeta e) Un nmero real es menor que cuatro, s y slo si es menor que ocho. u o 3. Dadas las proposiciones p : Ustedes son estudiantes q : Se denen ms bien por su proyecto a r : En pocos a os ms dejarn de ser estudiantes n a a Se pide el enunciado y expresin simblica de las siguientes proposiciones: o o a) Conjuncin de la primera con la segunda o b) Disyuncin de la primera con la tercera o c) Implicacin de la primera con la segunda o d) Disyuncin de las dos primeras con la implicacin de la tercera o o e) Negacin de las disyunciones de las dos primeras o f) Negacin de la conjuncin de la primera con la tercera o o g) Implicacin de la negacin de la segunda con la negacin de la primera o o o 4. Si p, q y r son proposiciones y el valor de verdad de p es V , el de q es V y el de r es F , determine el valor de verdad de, a) (p q ) p b) r ( q) c) (p q) r d) p q

q e) [p ( r)] [(q p) r]

5. Suponga que el valor de verdad de p q es falso. Diga el valor de verdad de las proposiciones, a) (p q) (p q) b) d) (p q) q [p (p q) q]

p c) (p q) ( q )

6. Si el valor de verdad de p q es verdadero, cul es el valor de verdad de las a proposiciones anteriores ?. 7. Elija los valores de verdad para p y q que le permitan completar la siguiente tabla p q r V pq V F prq

8. Construya la Tabla de verdad para cada una de las siguientes proposiciones, a) c) (p q) (p q) (q p) (q r) b) d) (p q) r [p (q r)] [(p q) (p r)]

9. Demuestre las Tautolog as 1, . . . , 10 dadas, mediante Tablas de verdad. 10. Demuestre, sin utilizar tablas de verdad (mediante reemplazos), a) (p q) (p q ) a) (p q) p b) (p q ) ( q) (p q) p b) p q e) p (q p)

11. Simplique las siguientes proposiciones : c) p (p q)

d) (p q) ( q) p

12. D una expresin lgica que slo contenga a los conectivos e o o o p a) ( q) (p q) 13. Niegue y simplique, p a) p (q r) ( q r) 14. Dada la tabla p V V V V F F F F q V V F F V V F F r V F V F V F V F rap F F F V V V F V b) (p q) r b) (p q r)

, , de las expresiones.

c) [(p q) (q s)] (p s)

c) p q r

Encuentre una expresin simple de la proposicin rap . o o 2

CUANTIFICADORES

1. Si A = {1, 2, 3} determine el valor de verdad de las proposiciones: a) c) x A : 2x + 3 = 7 x A : x + 5 < 10 b) d) ! x A : x2 = x x A : x2 + x < 15

2. Negar cada una de las proposiciones del Ejercicio 1. 3. Escriba en s mbolos matemticos las siguientes expresiones: a a) Todo n mero natural multiplicado por cero es cero. u b) Existe un n mero natural cuyo cuadrado sea primo. u c) Todo n mero natural es menor o igual a si mismo. u d) Hay dos n meros naturales x e y tal que su suma es mayor que 10 . u e) Todos los hombres son honestos o alg n hombre es un ladrn. u o f) Si el nmero x es menor que 12 , entonces hay un nmero real y tal que u u 2 2 x + y 144 es positivo. 4. Determine el valor de verdad de las proposiciones a), d) y f), en el Ejercicio 3, y luego escriba la negacin de las mismas. o 5. Primero niegue y luego simplique la expresin: o x R, y R / x < y x2 y x + y = 1 . 7. Dadas las porposiciones: a) [a R : a + 2 = 5] [a R : x2 > x]

b) [b N : b < 0] [c N : c = c] c) t R : t R . Cuals son los valores de verdad de sus negaciones?. e

curso : algebra i - ingenieria UTA - i semestre 2011