UNIVERSIDAD NACIONAL DE INGENIERIA

FACULTAD DE CIENCIAS Y SISTEMAS

UNI-RUPAP

Inteligencia Artificial

Integrantes:

Vilma Hernandez Salgado

Jennifer Chavarría Galeano

Luis Marenco Aviles

4T2-IS

Inteligencia Artificial.

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.

Comer mucho, engorda.

Las montañas cantan bonito.

Los mosquitos viven menos de un año.

El hombre desciende del elefante.

Respuesta

Comer mucho, engorda. (Verdadero, falso), no es una

preposición.

Las montañas cantan bonito. (Falso)

Los mosquitos viven menos de un año. (Verdadero)

El hombre desciende del elefante. (Falso)

Comer mucho, engorda no es una proposición ya que esta puede

ser verdadera o falsa según cada organismo.

Comer mucho engorda: Engorda (comer).

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 correcta

conclusión.

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.

Respuesta.

Simbología:

˅= o.

→ = entonces.

® = si.

⌐ = no.

Simbolización de las proposiciones:

p = Pedro. T = tienen la misma edad.

j = Jaime. R = mayor que.

e = Elena.

m = Marcela.

Formalización en lógica de predicados:

(T (p, j)) v (R (p, j)) → ® (T (p, j)) → (⌐T (p, e))

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.

(T (p, j)) v (R (p, j)) → ® (R (p, j)) → (R (p, m))

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.

→ (⌐T (p, e)) v (R (p, m))

Se lee como: Elena y Pedro no son de la misma edad o Pedro es mayor

que Marcela.

(T (p, j)) v (R (p, j))

(R (p, m))(⌐T (p, e))

(T (p, j)) (R (p, j))

Si

Entonces

Si

Entonces