a alguien le salió este ejercicio? lo hice pero tengo muchas dudas respecto al resultado. Adjunto imagen
ya lo corregí!!
Semántica de la lógica de primer orden
[ejercicio 11 a. iii]