Inteligencia Artificial

1. UNIVERSIDAD NACIONAL DE INGENIERIA (UNI-RUPAP) Tema : lógica proposicional y de predicado Elaborado por: Serge François Sandino Hernández Leo Nelson Padilla Moran

2. EJERCICIO 1 ¿Cuáles de las proposiciones siguientes son proposiciones?, de las que no son diga porque, además escríbalas en lógica proposicional o de predicado, si fuera posible. El coronel no tiene quien le escriba Es una proposición de la cual no se puede determinar su verdad o falsedad. Forma proposicional P: el coronel tiene quien le escriba ⌐p: el coronel no tiene quien le escriba La jubilación del coronel Buendía no es suficiente para su familia Es una proposición de la cual no se puede determinar su verdad o falsedad. Forma proposicional P: la jubilación del coronel Buendía es suficiente para su familia ⌐p: la jubilación del coronel Buendía es suficiente para su familia

3. El tejo es un deporte Es una proposición de la cual se puede determinar su verdad o falsedad Forma de predicado Deporte (tejo) Forma proposicional P: el tejo no es un deporte ⌐p: el tejo es un deporte (falso) El sol es una estrella Es una proposición de la cual se puede determinar su verdad o falsedad Forma de predicado Estrella (sol) Forma de preposición P: el sol no es una estrella ⌐p: es sol es una estrella (verdadero)

4. Ejercicios planteados El hombre es un mamífero Es una proposición de la cual se puede determinar su verdad o falsedad Forma de predicado Mamífero (hombre) Forma de preposición P: el hombre no es un mamífero ⌐p: el hombre es un mamífero (v) Fumar es dañino para la salud Es una proposición de la cual se puede determinar su verdad o falsedad Forma de predicado Fumar (dañino para la salud) Forma de predicado P: fumar no es dañino para la salud ⌐p: fumar es dañino para la salud (verdadero)

5. La tierra es un planeta Es una proposición de la cual se puede determinar verdad o falsedad Forma de predicado Tierra (planeta) Forma de proposición P: la tierra no es un planeta ⌐p: la tierra es un planeta (verdadero) En verano llueve Es una proposición de la cual se puede determinar su verdad o falsedad Forma de predicado Verano (llueve) Forma de proposición P: en verano no llueve ⌐p: en verano llueve (falso)

6. Ejercicio 2 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 concreta solución. La inmortalidad existe si y solo si el espíritu existe. Si lo que vemos es real la sabiduría no es tan difícil de obtener. El espíritu existe o la sabiduría no es tan difícil de obtener, por tanto, si lo que vemos es real, la inmortalidad existe. Tenemos entonces P: la inmortalidad existe q: el espíritu existe r: lo que vemos es real s: la sabiduría no es tan difícil de obtener La hipótesis planteada Si lo que vemos es real, la inmortalidad existe, es verdadera Si voy a la fiesta, no termino de estudiar. Si es viernes, no voy al cine. Si es viernes y no termino de estudiar, entonces voy a la fiesta. En consecuencia, voy al cine. La hipótesis es falsa