Una consulta, cuando piden que probemos que una estructura no modela a una formula.
Lo mejor es hacer que modela y llegar a un absurdo o simplemente llegar a algo con sentido partiendo de que no modela?
Muchas gracias
Podes mostrar que la estructura modela a la formula negada osea si querés probar que no modela phi, proba que modela a -phi.
Cualquiera de los dos caminos es correcto. La sugerencia del compañero es correcta.
Para la primera opción:
En general más que llegar a un absurdo, se trabaja con el 2.4.5 y demás como si funcionara, y cuando la fórmula queda expresada en el metalenguaje se da un contra ejemplo.
Saludos