Semántica de la lógica de primer orden

Buenas! Para lo primero, tratá de plantear un contraejemplo... elegite un $\alpha$ que no sea sentencia y empezá a desarrollar...

Respecto a lo segundo, quiere decir que la estructura M no modela a $\alpha$.

Saludos!