UNIVERSIDAD DEL CONCEPCION Campus Chilln a Escuela de Administracin y Negocios o CCS/ccs

Gu de Lgica a o
Ctedra: Algebra a Tpicos: Lgica o o

1. Determine los valores de verdad de las proposiciones p, q y r en cada uno de los siguientes casos, sabiendo que el valor de verdad propuesto es el que se indica. a) [ (p q) (r q)]:V b) {[(p q) (p r)] (p r)}:F c) {[(p q) (p r)] [p (q r)]}: V d) {[(p q) (p r)] [(p q) (q r)]}:F 2. Demuestre que si q tiene el valor F , entonces la proposicin compuesta o ( p q) [(q r) ( p q)] , resulta ser falsa 3. Considere tres proposiciones p, q y r de las cuales se sabe que p q es verdadero, y que q r es falso. Determine el valor de verdad del esquema (r p) (r p) 4. Demuestre, usando algebra lgica, las siguientes equivalencias entre esquemas. o a) q [ p (p q)] (p p) b) p [ (p q) ( q p)] (p p) c) [( p q) (p q)] p d) ( p q) (p q) p e) [(p q) ( q p)] q f) q [(p q) ( p q)] p q 1

5. Demuestre los siguientes enunciados son lgicamente equivalentes: o p:((Si Juan termina de solucionar ese problema y el horario de trabajo termin, entonces o se retira muy satisfecho)) q:((Juan no termin de solucionar ese problema o el horario de trabajo no termin, o o o Juan se retira muy satisfecho)) 6. Demuestre que el valor de verdad de (p q) [(p r) (q r)] , es independiente del valor de verdad de la proposicin r. o Dado el conjunto A = {1, 2, 3, 4, 5}, determine el valor de verdad de las siguientes proposiciones: a) ! x A : x + 3 = 10 b) x A : x + 3 10 c) x A : x + 3 < 5 d) x A : x + 3 7

7. Dado el conjunto A = {1, 3, 5, 7}, determine el valor de verdad de las siguientes proposiciones. a) ( x A : 4x2 19x 5 = 0) ( x A : x2 = x) b) ( x A : 2x + 3y = 5x) ( x A : 2x = x) 8. Simplique, obteniendo una proposicin de tipo armativo. o a) {[ x U : p(x)] [ x U : q(x)]} b) { x U : [p(x) q(x)]} c) {[ x U : p(x)] [ x U : q(x)]} d) {[ x U : p(x)] [ x U : q(x)]} e) {[ x U : p(x) ] [ x U : q(x)]} Algunas Respuestas: 1) a) p : V ; q : F ; r : V b) p : V ; q : V ; r : F d) p : F ; q : V ; r : F 3) F 6) a) F ; b)V ; c) V ; d) F

8) a) [x U : p(x)] [x U : q(x)] b) [x U : p(x)] [x U : q(x)] c) [x U : p(x)] [x U : q(x)] 9. Demuestre si las siguientes proposiciones son Tautolog Contradiccin o Contingencia. a, o a) [(p q) p] q b) [(p q) r] [( p q) r] c) {[ p ( q p)] q} d) [(a b) (a c)] [a (b c)] e) [(a b) (a c)] (a c)

10. Probar que p es equivalente con [(p q) ( p q)] (p q). 11. Transformar la proposicin p ( q r) en otra equivalente que contenga slo o o conectivos y . 12. Simplicar las siguientes proposiciones usando algebra lgica. o a) p [ q (p q)] b) ( q r) r c) [( p q)] (p q) d) p [(q p) (p q)] e) a [(b b) (a a)] 13. Demuestre las siguientes equivalencias lgicas utilizando las proiedades o teoremas de o lgica, sin usar tablas de verdad. o a) (p q) [( q p)] b) [(p q) (p r)] [p (q r)] c) [(p q) (q p)] (q p) d) [( (p q)) r] [(p q) r] e) [(p q) ( p q)] q f) p (p q) p g) p (p q) p h) (p q) ( p q) p i) {p (p (q r))} p ( q r) 14. Problemas lgicos. o a) Una persona hace la siguiente armacin: ((Anteayer ten 43 aos y el ao que o a n n viene cumplir 46)). Determine el d del cumpleaos de sta persona. e a n e 3

b) En un vecindario hay 5 casas alineadas consecutivas. Cada casa tiene un slo o color. Todos los propietarios tienen diferentes nacionalidades, diferentes mascotas, toman bebidas diferentes y fuman diferentes marcas de cigarrillos. El ingls vive e en la casa roja. El sueco tiene un perro y el dans toma t. La casa verde est al e e a lado izquierdo de la casa blanca. El hombre que fuma Pall Mall tiene pjaros. En a la casa verde toman caf. En la casa amarilla toman leche. El Noruego vive en la e primera casa. El hombe que fuma Blend vive al lado de la casa con gatos. En la casa, al lado donde hay caballos, fuman Dunhill. El hombre que fuma Blue Master toma cerveza. El alemn fuma Prince. El noruego vive al lado de la casa azul. La a casa donde toman agua est al lado de la casa donde fuman Blend. Determine a quin es el dueo de la cebra. Justique su respuesta. e n c) Cinco amigos compiten en una carrera en la que no hubo empates. Cada uno declara lo siguiente: a) Claudio: Pedro lleg primero y yo segundo. o b) Juan: Pedro lleg segundo y yo cuarto. o c) Carlos: Jaime lleg quinto y yo tercero. o d) Pedro: Carlos lleg primero y yo quinto. o e) Jaime: Pedro lleg tercero y yo cuarto. o Indique el orden en que llegaron, si cada uno de ellos fue honesto en una sola de las armaciones que hizo.