2do Parcial 2016, Ej 2 Parte C

Re: 2do Parcial 2016, Ej 2 Parte C

de Maximiliano Andres Barragan Pavoni -
Número de respuestas: 0
Si Manuel, tenés razón!! Por el 2.4.5 (otra escritura):
 M "no modela" a ( \forall x) \alpha \Leftrightarrow    \exists a \in |M| tal que M "no modela" a \alpha [a/x] .

Lo que escribí de que debiste poner "para todo" en vez de "existe" fue como si estuvieras en el caso de que M "modela"... Mal yo jajaja lo que pasa es que yo lo hice por absurdo como te dije, y me confundí cuando leí mis apuntes.

Saludos!