Buenas, tengo una duda sobre la segunda parte de este ejercicio.
Tenemos que una form es lógicamente válida sii para toda estructura M del tipo adecuado la interpretación sobre M es 1. Entonces, la form de la segunda parte es lógicamente válida sii para toda estructura M del tipo adecuado Si M modela P(x) entonces M modela (Ay)P(y). Y por la parte uno esto es verdad.
Pero dice que no es lógicamente válida y no logro comprender porque.
Saludos, Martín.