Conjunto consistente maximal ¿Caracterizado por valuación?

Conjunto consistente maximal ¿Caracterizado por valuación?

de Jerónimo Ismael Acosta Monteavaro -
Número de respuestas: 1

Hola, razonando intuitivamente con los conceptos llegué a la siguiente idea, me gustaría saber si es correcta:


En respuesta a Jerónimo Ismael Acosta Monteavaro

Conjunto consistente maximal ¿Caracterizado por valuación?

de Fernando Carpani -
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.