UNIVERSIDAD NACIONAL DE INGENIERIA<br />FACULTAD DE CIENCIAS Y SISTEMAS<br />    UNI-RUPAP<br />Inteligencia A...
Inteligencia Artificial.<br />Ejercicio 1. <br />¿Cuáles de las expresiones siguientes son proposiciones? De las que no so...
Respuesta<br />● Comer mucho, engorda. (Verdadero, falso), no es una preposición.<br />● Las montañas cantan bonito. (Fals...
Ejercicio 2. <br />Formalice en lógica de predicados y analice si la conclusión corresponde a la hipótesis. Puede auxiliar...
Respuesta.<br /> <br />Simbología:<br />˅ = o.<br />-> = entonces.<br />® = si.<br />⌐ = no.<br /> <br />Simbolización de ...
 <br />(T (p, j)) v (R (p, j)) -> ® (R (p, j)) -> (R (p, m))<br />Se lee como: Pedro y Jaime son de la misma edad o Pedro ...
Próxima SlideShare
Cargando en…5
×

Ejercicios de logica proposicional y de predicados - grupo 4

4.011 visualizaciones

Publicado el

Publicado en: Educación
0 comentarios
1 recomendación
Estadísticas
Notas
  • Sé el primero en comentar

Sin descargas
Visualizaciones
Visualizaciones totales
4.011
En SlideShare
0
De insertados
0
Número de insertados
2
Acciones
Compartido
0
Descargas
47
Comentarios
0
Recomendaciones
1
Insertados 0
No insertados

No hay notas en la diapositiva.

Ejercicios de logica proposicional y de predicados - grupo 4

  1. 1. UNIVERSIDAD NACIONAL DE INGENIERIA<br />FACULTAD DE CIENCIAS Y SISTEMAS<br /> UNI-RUPAP<br />Inteligencia Artificial<br />Integrantes:<br />Vilma Hernandez Salgado<br />Jennifer Chavarría Galeano<br />Luis Marenco Aviles<br />4T2-IS<br />
  2. 2. Inteligencia Artificial.<br />Ejercicio 1. <br />¿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.<br />● Comer mucho, engorda.<br />● Las montañas cantan bonito.<br />● Los mosquitos viven menos de un año. <br />● El hombre desciende del elefante. <br />
  3. 3. Respuesta<br />● Comer mucho, engorda. (Verdadero, falso), no es una preposición.<br />● Las montañas cantan bonito. (Falso)<br />● Los mosquitos viven menos de un año. (Verdadero)<br />● El hombre desciende del elefante. (Falso)<br /> <br />Comer mucho, engorda no es una proposición ya que esta puede ser verdadera o falsa según cada organismo.<br />Comer mucho engorda: Engorda (comer).<br />
  4. 4. Ejercicio 2. <br />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.<br /> <br />Pedro y Jaime son de la misma edad o Pedro es mayor que Jaime. Si Pedro y Jaime son de la misma edad, entonces Elena y Pedro no tienen la misma edad. Si Pedro es mayor que Jaime, entonces Pedro es mayor que Marcela. Así que o Elena y Pedro no son de la misma edad o Pedro es mayor que Marcela.<br />
  5. 5. Respuesta.<br /> <br />Simbología:<br />˅ = o.<br />-> = entonces.<br />® = si.<br />⌐ = no.<br /> <br />Simbolización de las proposiciones:<br /> <br />p = Pedro. T = tienen la misma edad.<br />j = Jaime. R = mayor que.<br />e = Elena.<br />m = Marcela.<br />Formalización en lógica de predicados:<br /> <br />(T (p, j)) v (R (p, j)) -> ® (T (p, j)) -> (⌐T (p, e)) <br />Se lee como: Pedro y Jaime son de la misma edad o Pedro es mayor que Jaime. Si Pedro y Jaime son de la misma edad, entonces Elena y Pedro no tienen la misma edad.<br />
  6. 6.  <br />(T (p, j)) v (R (p, j)) -> ® (R (p, j)) -> (R (p, m))<br />Se lee como: Pedro y Jaime son de la misma edad o Pedro es mayor que Jaime, si Pedro es mayor que Jaime entonces Pedro es mayor que Marcela.<br /> <br />-> (⌐T (p, e)) v (R (p, m))<br />Se lee como: Elena y Pedro no son de la misma edad o Pedro es mayor que Marcela.<br />(T (p, j)) v (R (p, j))<br />Si<br />Si<br />(T (p, j)) <br />(R (p, j))<br />Entonces<br />Entonces<br />(⌐T (p, e))<br />(R (p, m))<br />

×