Mapa cognitivo de cajas de la representación del conocimiento, lógica de predicados y demostración.

EJERCICIO 1
¿Cuáles de las expresiones siguientes son preposiciones? De las que no diga por
qué. Además, escríbalas en lógica proposicional o de predicados, si así fuera
posible
• Comer mucho, engorda.
• Las montañas cantan bonito.
• Los mosquitos viven menos de un año.
• El hombre desciende del elefante.
•
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 a 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