Fercho
PONTIFICIA UNIVERSIDAD JAVERIANA
ASIGNATURA: PENSAMIENTO ALGORITMICO
PROFESOR: OFFRAY VLADIMIR LUNA CARDENAS
ALUMNO: JUAN PABLO PONCE PALOMINO
GRUPO: 7
Bienvenidos a mi proyecto en el cual trató temas…
EJERCICIOS PROPUESTOS
Los ejercicios 1 y 2 fueron tomados de la página Web de la cual pienso que es muy interesante, en ella aprendí mucho, trae un contenido muy cargado en cuanto a matemática lógica. Puedes encontrar varios links de diferentes temas. Te aconsejo que la consultes, he visto los temas posteriores a lo que hemos visto hasta ahora (proposicsiocnes y cálculo de predicados) y en ella los explican muy claro y chévere, si tienes dudas visítala es: http://perso.wanadoo.es/ebuitron/logica.htm
1. Escribir las correspondientes sentencias lógicas para las siguientes frases:
a) Una relación es una relación de equivalencia si y sólo si es reflexiva, simétrica y transitiva.
b) Si la humedad es alta, lloverá esta tarde o esta noche.
c) El cáncer no se cura al menos se determine su causa y se encuentre un nuevo fármaco.
d) Se requiere valor y preparación para escalar esta montaña.
e) Si es un hombre que hace una campaña dura, probablemente será elegido.
Ver la respuesta del ejercicio 1 aquí
2. Con la siguiente asignación de significados para las variables proposicionales:
p: necesita un doctor
q: necesita un abogado
r: tiene un accidente
s: está enfermo
u: es injuriado
Expresar en español las siguientes sentencias:
a) (s → q ) ^ (r → q )
b) p → (s v u)
c) (p ^ q ) ↔ (s ^ u )
d) ￢ (s v u ) → ￢p
Haz click aquí para ver la solución del ejercicio 2
Este ejercicio lo tome del libro que por cierto es muy bueno, me gusta y pienso que esta hecho sobre todo para estudiantes que están en carreras de Ingeniería ya que tiene un alto contenido de matemáticas, se los recomiendo:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS: CAPÍTULO1. Cálculo proposicional. Ejercicio 3. Página 53.
3. Encuentre las tablas de verdad para las siguientes expresiones. Establezca en cada caso si la expresión es una contingencia, una tautología o una contradicción.
a) ((p → q) ^ (q → r) ^ (r → p)) → (p ↔ q)
b) p v (￢ ( q v r) ^￢p)
c) (p ^ q ^ r ) v (￢p ^ ￢q ^￢r )
Ver la solución del ejercicio 3 aquí
El ejercicio 4 lo tome de la siguiente página Web, la cual es un trabajo hecho por Alumnos del Centro Interdisciplinario de Investigación y Docencia en Educación Técnica (CIIDET.)Querétaro Qro. México., y lo que les puedo decir es que me gusto porque hacen una pequeña introducción acerca de lo que es la lógica (disciplina que trata de métodos de razonamiento), que tiene múltiples aplicaciones en cuanto a la resolución de un problema determinado por ejemplo en ciencias de la computación, en las ciencias física y naturales,... La dirección en Internet es: http://www.monografias.com/trabajos4/matematica/matematica.shtml
4. Comprobar la validez de cada uno de los siguientes argumentos:
a) ¿Es valido el siguiente argumento?
Si usted invierte en el mercado de valores, entonces se hará rico.
Si se hace usted rico, entonces será feliz.
____________________________________________________
imagen retiradaSi usted invierte en el mercado de valores, entonces será feliz.
b) ¿Es valido el siguiente argumento?
Si bajan los impuestos, entonces se eleva el ingreso
El ingreso se eleva.
_________________________________________
imagen retiradaLos impuestos bajan
Ver la respuesta del ejercicio 4 aquí
El ejercicio 5 fue tomado de la página web: http://www.monografias.com/trabajos4/matematica/matematica.shtml
5. Determine la expresión lógica que describa los siguientes enunciados:
a) Sea el siguiente enunciado "Si no pago la luz, entonces me cortarán la corriente eléctrica. Y Si pago la luz, entonces me quedaré sin dinero o pediré prestado. Y Si me quedo sin dinero y pido prestado, entonces no podré pagar la deuda, si solo si soy desorganizado".
b) El enunciado: "Hoy es domingo y tengo que estudiar teorías de aprendizaje o no aprobaré el curso". Se puede representar simbólicamente de la siguiente manera:
Ver la solución del ejercicio 5 aquí
El ejercicio 6 fue tomado de la página Web: http://www.monografias.com/trabajos4/matematica/matematica.shtml
6. Identifique las proposiciones atómicas y el conector u operador lógico usado en las siguientes oraciones:
a) El coche enciende cuando tiene gasolina en el tanque y tiene corriente la batería.
b) El candidato del PRI dice "Si salgo electo presidente de la República recibirán un 50% de aumento en su sueldo el próximo año".
c) Es buen estudiante, si y solo si; tiene promedio de diez.
Si lo ves muy difícil haz click aqui para ver la solución del ejercicio 6 aquí
El ejercicio 7 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS: CAPÍTULO1. Cálculo proposicional. Ejercicio 4. Página 53.
7. Simplificar las siguientes expresiones utilizando las leyes del álgebra declarativa:
a) (p ^ q ^ r) v (p ^￢q) v (p ^￢r)
b) (p ^q) v (p ^ r) v (p ^ (q v ￢r))
c) (￢p ^ r ^￢(p ^￢(p v q) )
Ánimo mira como debes resolver el ejercicio 7 aquí
El ejercicio 8 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS 1.5: CAPÍTULO1. Cálculo proposicional. Ejercicio 8. Página 39.
8. Encuentre la forma normal disyuntiva de la función lógica dada en la siguiente tabla.
imagen retirada
Aquí encontrarás la solución del ejercicio 8
El ejercicio 9 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS 1.5: CAPÍTULO1. Cálculo proposicional. Ejercicio 9. Página 39.
9. Hallar la forma normal conjuntiva completa para f.
Aquí encontrarás la respuesta del ejercicio 9
El ejercicio 10 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS: CAPÍTULO1. Cálculo proposicional. Ejercicio 9. Página 54.
10. Considere el siguiente argumento. Fue X o Y quien cometió el crimen. X estaba fuera del pueblo cuando el crimen fue cometido. Si X estaba fuera del pueblo, no pudo haber estado en la escena del crimen. Si X no estaba en la escena del crimen, no pudo haber cometido el crimen. Formule esto como una demostración formal y derive la conclusión. Use P1 para “X cometió el crimen”, P2 “Y cometió el crimen”, Q para “X estaba fuera del pueblo”, y R para “X no estuvo en la escena del crimen”.
Ver la solución del ejercicio 10 aquí
El ejercicio 11 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS 1.3: CAPÍTULO1. Cálculo proposicional. Ejercicio 2. Página 21.
11. Inserte paréntesis dentro de las expresiones siguientes, de tal manera que se elimine la ambigüedad sin utilizar las reglas de prioridad.
a) p ^ q ^ r → p
b) p ^ r v q ↔ ￢r
c) ￢ (p1 v p2 ) →￢q v p1
d) p → q ↔￢q →￢p
Aquí puedes ver el desarrollo del ejercicio 11
El ejercicio 12 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS 1.3: CAPÍTULO1. Cálculo proposicional. Ejercicio 7. Página 21.
12. Supuesto que p y q son verdaderos y r y s son falsos, hallar los valores de verdad de las siguientes expresiones:
a) (￢(p ^ q) v￢r) v ((q ↔￢p) → (r v￢s))
b) (p ↔ r) ^ (￢q → s)
c) (p v (q → (r ^￢p))) ↔ (q v￢s)
Aquí puedes ver la solución del ejercicio 12
El ejercicio 13 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.1: CAPÍTULO2. Cálculo de predicados. Ejercicio 1. Página 65.
13. Para cada uno de los predicados siguientes, hallar un universo de discurso adecuado dentro de la lista siguiente: números reales, enteros, seres humanos y animales.
a) pájaro (x)
b) está casado (x)
c) par (x)
d) negativo (x)
e) madre (x,y)
Aquí puedes ver la solución del ejercicio 13
El ejercicio 14 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.1: CAPÍTULO2. Cálculo de predicados. Ejercicio 2. Página 65.
14. Expresar las frases siguientes en cálculo de predicados. El universo de discurso es el conjunto de todas las personas.
a) Si a María le gusta Kilo, y a Kilo le gusta Juli, entonces a María le gusta Juli.
b) Juan está muy ocupado, pero Beni no.
c) Benja conoce al Sr. Suárez, pero el Sr. Suárez no conoce a Benja.
Aquí está la solución del ejercicio 14
El ejercicio 15 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.1: CAPÍTULO2. Cálculo de predicados. Ejercicio 6. Página 65.
Comentario: Quiero aclarar que las soluciones que da el libro son incorrectas ya que hubieron errores en la traducción de éste.
15. Particularizar:
4 imagenes retiradas
Ver la respuesta del ejercicio 15
El ejercicio 16 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.1: CAPÍTULO2. Cálculo de predicados. Ejercicio 7. Página 65.
16. Hallar las variables libres y ligadas enArchivo:Pensamiento algorítmico ejercicio16a).jpg
.jpg){kind=link}
Ver la solución del ejercicio 16 aquí
El ejercicio 17 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.2: CAPÍTULO2. Cálculo de predicados. Ejercicio 1. Página 74.
17. Un universo contiene los tres a, b y c. Para estos individuos, se define un predicado Q (x,y) y sus valores de verdad están dados por la tabla siguiente:
Archivo:Pensamiento algorítmico ejercicio17)tabla.jpg
tabla.jpg){kind=link}
Calcular 3 imagenes retiradas
Ver la solución del ejercicio 17 aquí
El ejercicio 18 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.2: CAPÍTULO2. Cálculo de predicados. Ejercicio 2. Página 74.
18. Dado el universo descrito en el ejercicio 17, determinar los valores de verdad paraimagenes retirada
Haz click en este link para ver la solución del ejercicio 18
El ejercicio 19 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.2: CAPÍTULO2. Cálculo de predicados. Ejercicio 4. Página 74.
19. ¿Es válida P(x) → (P(x) v Q(x))? Razone su respuesta.
Ver la respuesta del ejercicio 19 aquí
El ejercicio 20 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.2: CAPÍTULO2. Cálculo de predicados. Ejercicio 5. Página 75.
20. En una cierta interpretación, el dominio consta de los individuos a, b, c, y hay un predicado de dos cifras, P. P(x, x) es válido para todos los posibles valores de x. Además, P(a, c) es verdadero. En los demás casos, P(x, y) es falso. Calcular los valores de verdad de
a) P(a, b) ^ P(a, c)
b) P(c, b) v P(a, c)
c) P(b, b) ^ P(c, c)
d) P(c, a) → P(c, c)
Pincha aquí para ver la solución del ejercicio 20
El ejercicio 21 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.2: CAPÍTULO2. Cálculo de predicados. Ejercicio 6. Página 75.
21. Generar un modelo para (P(x) → Q(y)) ^ ￢Q(y) ^ P(y).
En este link puedes ver la solución del ejercicio 21
El ejercicio 22 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.2: CAPÍTULO2. Cálculo de predicados. Ejercicio 7. Página 75.
22. Demostrar que (P(x) → Q(y)) ^ (Q(y) → R(z)) → (P(z) → Q(z)) no es válida.
En este link puedes ver la solución del ejercicio 22
El ejercicio 23 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.3: CAPÍTULO2. Cálculo de predicados. Ejercicio 1. Página 86.
23. Dado 2 imagenes retiradas, construir una derivación formal de que . Como reglas de inferencia, utilizar la particularización universal, la generalización universal y el modus ponens.
Ver la solución del ejercicio 23 aquí
El ejercicio 24 lo tome del libro:
GRASSMANN TREMBLAY.Matemática discreta y lógica.Una perspectiva desde la Ciencia de la Computación. Edición Prentice Hall. 1998.PROBLEMAS2.3: CAPÍTULO2. Cálculo de predicados. Ejercicio 2. Página 86.
24. Dado y , dar una demostración formal de que. Utilizar la particularización universal, la generalización universal y el modus tollendo tollens como reglas de inferencia.
Ver la respuesta del ejercicio 24 aquí
El ejercicio 25 lo tome del libro:
SUPPES, Patrick. Introducción a la lógica simbólica. Edición Compañía Editorial Continental, S. A, México. 1979. PARTE 1- PRINCIPIOS DE INFERENCIA Y DEFINICIÓN. Capítulo: 2. Teoría oracional de la inferencia. 2.3. Algunas implicaciones tautológicas útiles. Ejercicio 3. Página 63.
25. Si los precios son altos, entonces los salarios son altos. Los precios son altos, o hay control de precios. También, si hay control de precios, entonces no hay inflación. Sin embargo, hay inflación. En consecuencia, los salarios son altos. (P, W, C, I)
Ver la respuesta del ejercicio 25 aquí
El ejercicio 26 lo tome del libro:
SUPPES, Patrick. Introducción a la lógica simbólica. Edición Compañía Editorial Continental, S. A, México. 1979. PARTE 1- PRINCIPIOS DE INFERENCIA Y DEFINICIÓN. Capítulo: 2. Teoría oracional de la inferencia. 2.3. Algunas implicaciones tautológicas útiles. Ejercicio 4. Página 63.
26. Si se elevan los precios o los salarios, habrá inflación. Si hay inflación, entonces el Congreso debe regularla, o el pueblo sufrirá. Si el pueblo sufre, los congresistas se harán impopulares. El Congreso no regulará la inflación y los congresistas no se volverán impopulares. En consecuencia, no subirán los salarios. (W, P, I, C, S, U)
Ver la respuesta del ejercicio 26 aquí
El ejercicio 27 lo tome del libro:
SUPPES, Patrick. Introducción a la lógica simbólica. Edición Compañía Editorial Continental, S. A, México. 1979. PARTE 1- PRINCIPIOS DE INFERENCIA Y DEFINICIÓN. Capítulo: 2. Teoría oracional de la inferencia. 2.3. Algunas implicaciones tautológicas útiles. Ejercicio 5. Página 63.
27. O la lógica es difícil o no les gusta a muchos estudiantes. Si las matemáticas son fáciles, entonces la lógica no es difícil. En consecuencia, si a muchos estudiantes le gusta la lógica, las matemáticas no son difíciles. (D, L, M)
Ver la respuesta del ejercicio 27 aquí
Para volver a la página principal haz click aquí
Bibliografía
1. Matemática discreta y lógica. Una perspectiva desde la Ciencia de la Computación. GRASSMANN TREMBLAY. Edición Prentice Hall. 1998.
2. http://perso.wanadoo.es/ebuitron/logica.htm
3. http://www.monografias.com/trabajos4/matematica/matematica.shtml
4. SUPPES, Patrick. Introducción a la lógica simbólica. Edición Compañía Editorial Continental, S. A, México. 1979.