Este documento presenta los ejercicios de una unidad de ingeniería. Analiza cuáles de varias expresiones son proposiciones y las representa en lógica proposicional o de predicados cuando es posible. Luego, formaliza una conclusión en lógica de predicados para determinar si corresponde a la hipótesis planteada.

1. Universidad nacional de ingeniería Ejercicios 2da unidad Proposiciones Integrantes: María Alejandra Soza T. Blanca Nidia Olivas H. Grupo: 4TN3-IS Docente: Ing. Ariel Chávez. Fecha: 03-10-2011

2. Ejercicio 1 ¿Cuáles de las expresiones siguientes son proposiciones? De las que no son diga por qué. Además escríbalas en lógica proposicional o de predicado, si fuera posible. ● Todas las naranjas son amarillas ● Un rectángulo es una figura verde ● Medellín es la ciudad de la eterna primavera ● Hay triángulos que son rectángulos

3. Proposiciones la proposición es un discurso enunciativo perfecto, que expresa un juicio y significa lo verdadero y lo falso como juicio de términos y por eso es una afirmación categórica, es decir, incondicionada porque representa adecuadamente la realidad.

4. proposiciones Todas las naranjas son amarillas Esta no es una proposición ya que en esta expresión no se obtiene un solo valor de verdad.

5. proposiciones Un rectángulo es una figura verde Lógica proposicional: R(v) Sujeto R: rectángulo Atributo v: verde

6. proposiciones Medellín es la ciudad de la eterna primavera Forma proposicional: M(e) Sujeto M: Medellín Atributo e: eterna primavera

7. proposiciones Hay triángulos que son rectángulos Forma proposicional: T(r) Sujeto T: triángulos Atributo r: rectángulos

8. Otras proposiciones Todos los hombres son mortales. Posee un valor de verdad Forma proposicional: H(m) Sujeto H: Hombres Atributo m: mortales

9. Otras proposiciones Nicaragua Tierra de Lagos y volcanes. Forma proposicional N(t) Sujeto N: Nicaragua predicado t:Tierra de lagos y volcanes

10. Formalice en lógica de predicados y analice si la conclusión corresponde a la hipótesis. Puede auxiliarse de cualquier forma de representación del conocimiento para un mejor análisis o una correcta conclusión. Si tengo tiempo, estudiaré y trabajaré. Tengo tiempo o tengo ánimo para emprender nuevas actividades. No tengo tiempo. Entonces trabajaré. Ejercicio 2

11. Solución F = tengo tiempo. G= animo emprender. X = estudiar. H= trabajare. q = sujeto ®F(q) -> (X(q) ^ H(q)) F(q) ˅ G(q) ⌐F(q) -> H(q) Es decir si tengo tiempo entonces estudiaré y trabajaré. Si tengo tengo tiempo o animo emprenderé nuevas actividades, no tengo tiempo entonces trabajaré.

12. Muchas Gracias!!!!