caracterización semántica de consistencia

caracterización semántica de consistencia

de Gonzalo Javier Diaz Ferreira -
Número de respuestas: 2

Buenas, ¿Cómo están?

En el caso de algunos parciales aparece la frase: "caracterización semántica de consistencia",

¿esa frase es sinónimo de la "Condición necesaria y suficiente de consistencia"? (porque estaría aplicando eso)

Pasaría lo mismo para la "caracterización semántica de conj.completo"? se trata de una CNyS para que un conj.sea completo?

Por último, y disculpen tantas consultas en una, pero va de la mano... ¿existe alguna otra CNyS / caracterización que deberíamos tener en cuenta? (pensando en el parcial y en lo que resta del curso). 

Aguardo sus comentarios

Gracias

Gonzalo

En respuesta a Gonzalo Javier Diaz Ferreira

Re: caracterización semántica de consistencia

de Juan Diego Campo -
Hola Gonzalo, fijate el último ejercicio del práctico 5 (el ejercicio 17). Ahí están todas las propiedades que llamamos "caracterización semántica". Como vos decís, es lo mismo que a veces llamamos "condición necesaria y suficiente".

Le llamamos "caracterización semántica" a esas propiedades porque, a diferencia de las definiciones que hablan de derivaciones (o sea que son sintácticas), se expresan en función de valuaciones (que es semántica).


Saludos,
Juan Diego