Universidad de la Frontera

Departamento de Matematica

Facultad de Ingeniera, Ciencias y Admistracion

Gua de Trabajo: Logica

1. Simbolizar, sustituyendo las proposiciones basicas por letras mayusculas. a) Si x = y, entonces x = 1 y x = z b) Si x = y, entonces x = 2 c) Si x + y = 3, entonces y + 3 = 3 d) x + y = 2 y z = 1 e) Si x y = 2, entonces y x = 2 f) x + y = 2 o x + y = 0 g) Si x = y e y = z, entonces x > z h) Si x = 2, entonces y > 1 i) Si x = 0 o x = 3, entonces x = 1 j) Si x + y > z y z = 1, entonces x+y >1 9. Escribir la recproca, la contrarrecproca y la inversa de cada una de las siguientes implicaciones: a) Si 4 es par entonces 1 > 0 b) 2 + 3 = 5 si 1 + 1 < 3 c) Si 4 es impar entonces 1 > 0 d) Si 1 + 1 < 3 entonces 2 = 4 10. Determinar los valores de verdad de las siguientes proposiciones compuestas. a) Si 2 + 2 = 4 entonces 2 + 4 = 8 b) Si 2 + 2 = 5 entonces 2 + 4 = 8 c) Si 2 + 2 = 4 entonces 2 + 4 = 6 d) Si 2 + 2 = 5 entonces 2 + 4 = 6 11. Suponiendo que p q es falso, indica los valores de verdad para a) p q b) p q c) q p

2. Formar dos proposiciones compuestas con las frases que se entregan a continuacion. Expresarlas simbolizadas. a) ven pronto b) No quiero estar contigo c) olvidate d) Tengo planes para manana

3. Senalar los terminos de enlace y luego simbolizar cada una de las proposiciones siguientes. a) No es la hora y la clase de matematica no termina. b) Si no estamos en primera la, entonces no se entiende la clase. c) Si dos numeros no son iguales, entonces uno es mayor que el otro. d) x < 5 siempre que x sea negativo. 4. Simbolizar cada una de las siguientes proposiciones a) Tienes exito solo si aprecias la opinion de los demas. b) Si x = 1 o y = 2, entonces z = 3 c) Todo trabajo es noble d) No es cierto que 1 = 0 e) O es y = 0 y x = 0 o z = 2 f ) Si x = 2 entonces y > 1 g) Si x = 2 o x = 3 entonces x = 1 h) Si x = y y y = z entonces x = z i) Si x + y > z y z = 1 entonces x + y > 1 j) Si yo y Juan sabemos Logica, entonces O tenemos un 7 en la prueba o la prueba esta super difcil k) Si x es menor que dos, entonces x es igual a uno o x es igual a cero l) Si a la vez x es menor que tres y x es mayor que uno entonces x es igual a dos. m) y = 4 y si x < y entonces x < 5 n) O x es mayor que cinco y x es menor que siete o no es igual a seis. n) Si x + 3 > 5 y y 4 > x entonces y > 6. 5. Escribir en lenguaje formal la negacion de las siguientes proposiciones: a) x es un numero entero mayor que 3 o menor que 2. b) La gura representa o bien un triangulo o bien un cuadrado, pero no un rectangulo o un rombo. c) No se aceptan cambios ni devoluciones. d) Hay numeros pares divisibles por 3. e) Toda ecuacion de segundo grado tiene dos soluciones reales distintas o bien dos soluciones complejas conjugadas. 6. Anadir el parentesis necesario, para que la proposicion dada corresponda al tipo de proposicion senalada: a) Negacion: P R b) Conjuncion: P Q R c) Condicional: P R d) Negacion: P Q e) Conjuncion: P R f ) Conjuncion: P Q g) Negacion: R T h) Condicional: P Q R i) Condicional: P Q j) Negacion: P R k) Negacion: P Q l) Disjuncion: P Q R m) Disjuncion: Q R n) Condicional: P R n) Negacion: T S o) Disjuncion: P Q R p) Conjuncion: S Q q) Negacion: P Q r ) Negacion: R S s) Conjuncion: P Q R

12. Sabiendo que la proposicion compuesta (q) (q p) es falsa, indique cual es el valor de verdad de las proposiciones p y q. 13. Indicar para que valores de verdad de p y q resulta verdadera la proposicion compuesta (p q) (q p) 14. Demostrar los siguientes enunciados. (No olvide RAA). dem T dem T (1)P R (1)T P S (2)R S (2)Q P (3)P T (3)R S (4)S (4)R Q dem (x = 5 y = 4) dem D (1)A B (1)y = 3 (2)C B (2)x + y = 8 y = 3 (3)C A (3)x + y = 8 x = 5 (4)B D dem y = 2 x > y dem (x = 2 y < 5) (1)(y > 5 x = 6) (1)(y x = 2 x + y 8) (2)x = 6 x > y (2)(x > y y < 5) (3)y 5 x > y (3)x = 2 x + y 8 dem Q S dem P (1)R P (1)S R (2)(R S) T (2)R T (3)T (Q U ) (3)Q T (4)Q U dem R Q dem G H (1)E F H (1)P Q (2)J E (2)S Q R (3)K F (3)P S (4)J K (4)Q S dem P dem x = 1 (1)(P Q) (1)(z < 3 x > y) y = 2 (2)P R (2)x y x = 1 (3)Q R (3)x > z x > y (4)x z x < y dem S dem T (1)P Q (1)P Q (2)T P (2)Q R (3)(Q R) (3)R (4)P (T S) dem T dem R (1)T S (1)(P Q) (2)F T (2)R Q (3)S F (3)P R dem (T S) (1)R B (2)T S R (3)B S (4)T dem (A D) (1)A B C (2)B A (3)D C dem E M (1)S Q (2)S E (3)Q M dem P (1)P S (2)S R (3)(T R) dem S T (1)P S (2)P R (3)R T dem R (1)T R S (2)S T (3)R S

7. Relacionar cada termino de la izquierda con solo uno de la derecha. P Q a) Disjuncion (P Q) b) Proposicion basica c) Proposicion condicional d) Proposicion compuesta e) Antecedente f ) Consecuente g) Conjuncion h) Negacion Q en la proposicion P Q P en P Q P Q P Q Cualquier proposicion con un termino de enlace

Cualquier proposicion sin termino de enlace 8. Sean p tengo un loro y q tengo un gato, simplicar y luego escribir en lenguaje corriente (p (q)) (p)

dem y > z (1)x = y x = z (2)x = y x < z (3)x z y > z (4)y = z x = z dem x < 5 (1)x < y x = y (2)x = y y = 5 (3)x < y y = 5 x < 5 (4)y = 5 dem S (1)T R (2)T (3)S R dem P (1)P Q (2)R Q (3)P R dem R (1)S R (2)T S (3)T dem T (1)P S (2)P Q (3)(S R) T (4)Q R

dem P S (1)P Q (2)P (Q R) (3)Q (R S) dem x = 5 x = y (1)x = y x = y + 3 (2)x = y + 3 x + 2 = y (3)x + 2 = y x = 5 dem Q R (1)S T (2)T (3)S (Q R) dem C A (1)A B (2)B C D (3)D dem S (1)T R (2)R (3)T S dem Q (1)T S (2)S (3)Q T

21. Simbolizar las siguientes proposiciones: a) Kant es losofo, pero Frege es logico b) No iremos al teatro a menos que venga Raul. c) Einstein no es losofo, sino fsico. d) Euclides no es medico ni fsico. e) Ni Vilma, ni Silvia, ni Angelica ingresaron a la universidad f ) Sin carbono, oxgeno, nitrogeno e hidrogeno, no hay vida. g) Cesar es profesor o es alumno, pero no puede ser ambas cosas a la vez. 22. Formalizar (no resolver) las siguientes inferencias: a) Los congresistas representan a la Nacion, pero no estan sujetos a manda to imperativo. Luego, los congresistas representan a la Nacion. b) Felipe no sera expulsado del club a menos que el cometa actos de traicion e inmoralidad. No ha sido expulsado. En consecuencia, no ha cometido actos de traicion ni de inmoralidad. c) Si el nino, el adolescente y el anciano son abandonados, entonces son protegidos por el Estado. Pero el nino es abandonado, tambien el anciano. Luego, tanto el nino como el anciano son protegidos por el Estado. 23. Mediante la tabla de la verdad determine si las siguientes formulas son tautologas: a) [p (p p)] b) (p p) (p p) c) (p q) (q p) d) [(p q) (q q)] e) [(p q) (q r)] (p r) f ) p q (q p) 24. Analizar la validez de los siguientes razonamientos: a) El triangulo se llama isosceles si tiene dos lados iguales. No se llama isosceles. En consecuencia, no tiene dos lados iguales. b) Si Juan es burgues, es propietario de los medios de produccion social y emplea trabajo asalariado. Es burgues y propietario de los medios de produccion social. Luego, Juan emplea trabajo asalariado. c) Si eres scal, eres abogado. Si eres profesional, eres abogado. Luego, si eres scal, eres profesional d) Si hay abundancia de peces, habra abundante harina de pescado. Si hay abundante harina de pescado, se incrementa la exportacion. La ex portacion no se incrementa. O hay abundancia de peces o sera preciso recurrir a otras actividades. Luego, sera preciso recurrir a otras actividades. 25. Determine mediante la tabla de verdad si las siguientes inferencias son vali das o invalidas: a) Si se levanta la venda, entonces se podra pescar anchoveta. No se puede pescar anchoveta. Luego, no se levanto la veda. b) Si no se levanta la veda, entonces no se podra pescar anchoveta. Se puede pescar anchoveta. En consecuencia, se ha levantado la veda. c) Si hay veda, entonces no se podra pescar atun. Hay veda. Por tanto, no se puede pescar atun. 26. Usar el metodo de la premisa agregada (PA) para probar que q t, a partir de: 1) 2) 3) 4) s r sp p q r t

15. El conectivo proposicional se llama disyuncion exclusiva. Para dos pro posiciones p y q se anota p q, se lee p o q pero no ambos a) Construir la tabla de verdad de p q b) Probar que p q ( p q ) ( p q ) 16. El conectivo proposicional se llama conjuncion negativa. Para dos proposiciones p y q se anota p q, se lee ni p ni q a) Construir la tabla de verdad de p q b) Probar que: a) p p p, b) p q ( p p ) ( q q ), c) p q ( p q ) ( p q ) 17. Decidir sobre la validez de los razonamientos siguientes: a) Si el mundial de futbol es en Brasil, entonces la gente no puede ir. Si el futbol es un deporte popular, entonces el mundial de futbol es en Brasil. El futbol es popular. Por lo tanto, la gente no puede ir. b) Si la vida es facil, entonces no vale la pena vivir. Si no vale la pena vivir, entonces no trabajo. La vida es facil. Luego, no trabajo. c) Si x es un numero par, entonces x + z = 0. Si x + z = 0, entonces z = 0. x es un numero par. Por tanto, z = 0. d) Si x es un numero par, entonces x + z = 0. Si x + z = 0, entonces x es mayor que z. x es numero par. Luego, x es mayor que z. 18. Indicar cuales de las siguientes proposiciones son equivalentes a la proposicion Si Heriberto aprueba Algebra, entonces hizo trampa. Se considera que Heriberto es honrado equivale a Heriberto no es tramposo a) Heriberto aprueba Algebra y es tramposo. b) Heriberto, una persona honrada, no aprobo Algebra. c) Si Heriberto es honrado, entonces no aprobo Algebra. d) No es cierto que: Heriberto aprueba o es tramposo. e) Si Heriberto es tramposo, entonces aprueba Algebra. 19. Analizar la validez de los siguientes argumentos: argumento 1: 1 Si Heriberto lee el Mercurio, entonces esta bien informado 2 Heriberto esta bien informado. Por tanto, Heriberto lee el Mercurio argumento 2: 1 Si Heriberto queda en la Universidad, va a ganar dinero 2 Heriberto no queda en la Universidad Por tanto, Heriberto no va a ganar dinero argumento 3: 1 Si Heriberto entiende logica, entonces disfruta estos problemas 2 Heriberto no entiende logica Por tanto, Heriberto no disfruta estos problemas 20. Simbolizar las siguientes proposiciones: a) Nunca he odo esa musica. b) Jamas he visto al vecino. c) Es imposible que el atomo sea molecula. d) Es falso que el juez sea scal. e) Al papa de Nelly le falta caracter.

27. Usar Reduccion al Absurdo para probar r a partir de: 1) (p q) 2) r q 3) p r 28. Indique cual de las siguientes proposiciones es falsa: a) Si 2(3 + 5) = 16 entonces 5(6 + 1) = 35 b) Si (4 + 5) = 20 entonces (6 + 7) = 12 c) Si (9 + 5) = 14 entonces (6 + 5) = 11 d) Si 9(4 + 2) = 54 entonces 9(4 + 1) = 14 e) Si 3(4 + 5) = 28 entonces 7(6 + 5) = 37 29. Una recproca de la proposicion Carlos llega impuntual, siempre que se levanta tarde es: a) Si Carlos se levanta tarde, entonces llega impuntual. b) Si Carlos llega impuntual, entonces se levanta tarde. c) Si Carlos no llega impuntual, entonces no se levanta tarde. d) Carlos llega impuntual, si no se levanta tarde. e) Si Carlos no llega impuntual, entonces se levanta tarde. 30. La traduccion en el lenguaje formal de la proposicion Si tu eres inteligente y no actuas con prudencia, eres un ignorante en la materia, siendo las proposiciones: m: Tu eres inteligente. n: Tu actuas con prudencia. p: Tu eres un ignorante en la materia. es: a) (m n) p b) m (n p) c) p (m n)

d) (m p) n e) m (n p) 31. Considere la proposicion Compro y uso el traje gris, si me pagan. Empleando tablas de verdad, identique: Una recproca de la proposicion dada. a) Si compro y uso el traje gris, entonces me pagan. b) Si no compro y no uso el traje gris, entonces no me pagan. c) Si no compro o no uso el traje gris, entonces me pagan. d) Si no me pagan, entonces no compro o no uso el traje gris. e) Si me pagan, entonces compro y uso el traje gris. Una inversa de la proposicion dada. a) Si compro y uso el traje gris, entonces me pagan. b) Si no compro o no uso el traje gris, entonces no me pagan. c) Si no compro o no uso el traje gris, entonces me pagan. d) Si no me pagan, entonces no compro o no uso el traje gris. e) Si me pagan, entonces compro y uso el traje gris. Una contrarrecproca de la proposicion dada. a) Si compro y uso el traje gris, entonces me pagan. b) Si no compro o no uso el traje gris, entonces no me pagan. c) Si no compro o no uso el traje gris, entonces me pagan. d) Si no me pagan, entonces no compro o no uso el traje gris. e) Si me pagan, entonces compro y uso el traje gris. 32. Hallar una traduccion al lenguaje simbolico de Temuco mejora su imagen si la Municipalidad realiza obras o los ciudadanos colaboran en el aseo de las calles, siendo las proposiciones simples: m: La Municipalidad realiza obras. n: Los ciudadanos colaboran en el aseo de las calles. p: Temuco mejora su imagen. 33. Considere las proposiciones simples: a: Utilizo mis habilidades matematicas. b: Resuelvo bien los ejercicios. c: Hago un buen deber. Hallar la traduccion simbolica de la proposicion compuesta Es necesario que utilice mis habilidades matematicas para que resuelva bien los ejercicios y haga un buen deber. 34. Si se consideran las siguientes proposiciones simples: m: Viajo al exterior. n: Apruebo el curso de Fundamentos. p: Obtengo una beca. Hallar una traduccion al lenguaje formal de la proposicion compuesta Viajo al exterior solo si apruebo el curso de Fundamentos y obtengo una beca. 35. Dadas las proposiciones simples: p: Necesito un doctor. q: Necesito un abogado r: Tengo un accidente. s: Estoy enfermo

a) Voy a ser feliz. b) Si me convierto en musico, entonces lo intento con ahinco. c) No me convierto en musico. d) No tengo talento. e) Si no voy a ser feliz, entonces no lo intento con ahinco o no tengo talento. 41. Dadas las siguientes proposiciones: H1: Si el reloj esta adelantado, entonces Juan llego antes de las diez y vio partir el coche de Andres. H2: Si Andres no dice la verdad, entonces Juan no vio partir el coche de Andres. H3: Andres dice la verdad o estaba en el edicio en el momento del crimen. H4: El reloj esta adelantado. Se puede inferir que: a) Juan no llego antes de las diez. b) Andres estaba en el edicio en el momento del crimen. c) Juan no vio partir el coche de Andres o este estaba en el edicio en el momento del crimen. d) Andres dice la verdad. e) Marque esta opcion si ninguna de las anteriores es una conclusion valida. 42. Demostrar que el siguiente razonamiento es valido: Esta ley sera aprobada en esta sesion del Congreso si y solo si es apoyada por la mayora legisla tiva. Es apoyada por la mayora legislativa o el Presidente de la Republi ca se opone a ella. Si el primer mandatario se opone a ella, entonces sera pospuesta en las deliberaciones del Congreso Nacional. Por lo tanto, esta ley sera aprobada en esta sesion o sera pospuesta en las deliberaciones del Congreso Nacional. 43. Un razonamiento que no es valido se denomina Falacia. Vericar que el siguiente razonamiento es una falacia: Si el mayordomo es el asesino, se pondra nervioso cuando lo interroguen. El mayordomo se puso nervioso cuando lo interrogaron. Por lo tanto, el mayordomo es el asesino. 44. vericar que el siguiente razonamiento es valido (Tautologa): Si el Chavo se casa, entonces Florinda se tira al tren. Florinda se tira al tren siempre y cuando el Chavo no se haga cura. Por lo tanto, si el Chavo se casa, entonces no se hace cura. 45. Para cada una de los siguientes conjuntos de premisas (cada lnea), decir cuales son las conclusiones: a) Estoy gordo o delgado. Ciertamente no estoy delgado. b) Si corro, me quedare sin aliento. No estoy sin aliento. c) Si el mayordomo lo hizo, entonces tiene las manos sucias. Las manos del mayordomo no estan sucias. d) El cielo celeste me pone contento y el cielo gris me pone triste. El cielo esta celeste o gris. e) Todas las funciones trigonometricas son periodicas y todas las funciones periodicas son continuas. 46. Determinar cuales de los razonamientos siguientes son validos. Construir demostraciones para los razonamientos que lo sean y para los que no lo sean, explicar por que la conclusion no se sigue de la hipotesis. a) pq p r rq b) pq p r rq p q c) p r r q

Una traduccion al lenguaje formal de la proposicion compuesta Si estoy enfermo, necesito un doctor; y si tengo un accidente, necesito un abogado, es: (s p) (r q) (s p) (r q) (s p) (r q) (s p) (r q) (s p) (r q)

36. Dadas las proposiciones simples: p: Hoy es domingo. q: Tengo que estudiar Fundamentos. r: Aprobare el curso. Una traduccion al lenguaje formal de la proposicion compuesta Hoy es domingo pero tengo que estudiar Fundamentos, o no aprobare el curso, es: (p q) r pqr (p q) r (p q) r (p q) r

47. Para cada una de las siguientes proposiciones analice el valor de verdad de las mismas y escriba, en forma simbolica, su negacion. Asuma que las variables toman valores en el conjunto de los numeros reales. a) (x)(3x 2 = 4x + 1) b) (x)(x + x = 0) c) (x)(3x 2 = 4x + 1) d) (x)(x2 + x + 1 = 0) e) (x)((x 1)(x + 1) = x2 1) f ) (x)(x2 + 1 0) g) (x)(x2 + 3x + 2 = 0) h) (x)(x = x) i) (x)(x3 +6x2 +11x+6 = (x+3)(x+ 1)) j) (x)(y, x2 + y 2 = (x + y)2) k) (x)(y, x + y = y + x) l) (x)(y, x + y = 0) m) (x R)(x2 + x = 2) n) (x R)( 9 < x < 5 ) 8 4 3 n) (x)(x 2 o x 8 ) 5

37. Si p q es verdadero, determinar el valor de verdad de las siguientes p (q r) p q (p q) (p q) (p q) (p q) (p q) (q p)

38. El razonamiento: Si te gustan las Matematicas, entonces eres habil para la Geometra. Luego, no te gustan las Matematicas, es valido. Verdadero Falso

48. Sea A = {1; 2; 3; 4; 5}. Hallar el valor de verdad de cada enunciado, y luego, escribir simbolicamente la negacion de cada uno de ellos: a) (x A)(x + 3 = 10) b) (x A)(x + 3 < 10) c) (x A)(x + 3 < 5) 49. Negar las siguientes armaciones: a) (x)(y)(x + y = 5 y = x) b) (x)(y)[(x + y es impar) = (x es impar y es impar)] c) (x)(y)(x < y x2 y) d) (x)(y)(x < y = x + z = y) d) (x A)(x + 3 7) e) (!x A)(x2 3x + 2 = 0)

39. El razonamiento Si trabajo arduamente gano un buen sueldo, pero no gano un buen sueldo. Por lo tanto, no trabajo arduamente, es valido. Verdadero Falso

40. Dado el razonamiento (H1 H2) C, donde: H1: Si lo intento con ahnco y tengo talento, entonces me convierto en musico. H2: Si me convierto en musico, sere feliz. Una conclusion C que hace valido este razonamiento es:

50. Sea R el conjunto referencial. Averiguar el valor de verdad de: a) (x)(x < 0 = x < 3) b) (x)(x2 0 = x4 = x3) c) (x)(y)(x2 + y 2 = 1) d) (x)(y)(y < x = 2y < 10)