Este documento presenta dos ejercicios sobre inteligencia artificial. El primer ejercicio pide identificar cuáles de cuatro expresiones son proposiciones y formalizarlas lógicamente. El segundo ejercicio pide formalizar una serie de enunciados sobre las edades de Pedro, Jaime, Elena y Marcela en lógica de predicados y analizar si la conclusión se desprende de la hipótesis.