Lógica_R: [Ejercicio 5]

$M\models\lnot\alpha$ sii

$M\nvDash\alpha$ , no logro ver si esto es verdad o no.
Tampoco tengo claro que significa

$M\nvDash\alpha$ .

Gracias.

de Alejandro Jose Rojas Quartino - lunes, 5 de junio de 2017, 11:24

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!