Hola.
La idea de la caracterización semántica es que es una teoría (por lo tanto un CONS) y tiene una única valuación que hace verdaderas a todas la fórmulas.
La idea está bien. El único detalle que me confunde es el término "valuación particular". Diría más bien, "cualquier valuación", "para toda valuación", "una valuación cualquiera" o "una valuación arbitraria".
Claro, hay que demostrarla, no ?
Saludos
FDO.
La idea de la caracterización semántica es que es una teoría (por lo tanto un CONS) y tiene una única valuación que hace verdaderas a todas la fórmulas.
La idea está bien. El único detalle que me confunde es el término "valuación particular". Diría más bien, "cualquier valuación", "para toda valuación", "una valuación cualquiera" o "una valuación arbitraria".
Claro, hay que demostrarla, no ?
Saludos
FDO.