Exámenes

Para poder sacar el not del modela:

1. hay que tener una sentencia a la derecha (o sea, hay que clausurar primero si hace falta, no puede haber variables libres)
2. aplica a toda la fórmula a la derecha del modela sí.

No, no es una distributiva del not.

Observar que $\lnot ((\forall x) \varphi)$ es lo mismo que $\lnot (\forall x) \varphi$, cualquiera sea la fórmula $\varphi$, ya que en el segundo caso simplemente se están simplificando los paréntesis. $\forall x$ por sí solo no es una fórmula, no es nada, recién cobra sentido cuando tiene una fórmula a su derecha, a la cual cuantifica produciendo una nueva fórmula.

Las fórmulas siempre son como oraciones terminadas, con sentido. Por ejemplo $P(x)$ puede significar, en alguna estructura, "x es lindo/a" (o sea, P se corresponde con la relación "ser lindo/a").

$\forall x$ siempre significa "Para todo"/"Todo". Si alguien viene y dice "Para todo.", uno se queda esperando algo más "¿para todo qué?" "¿qué pasa con el 'para todo'?".

Justamente lo que estamos esperando es esa otra fórmula, "toda ciudad de Uruguay es linda" es una oración completa, que se formó a partir de la oración más simple "es linda" y se cuantificó. Por otro lado "toda ciudad de Uruguay" no está completa (ni siquiera es oración, no tiene verbo). ¿Se entiende?