Hola, razonando intuitivamente con los conceptos llegué a la siguiente idea, me gustaría saber si es correcta:
Conjunto consistente maximal ¿Caracterizado por valuación?
Número de respuestas: 1
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.
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.