Ejercicio 6

Ejercicio 6

de Facundo Rodríguez Martínez -
Número de respuestas: 2

Hola, quería preguntar si mi resolución del ejercicio es correcta, no me queda muy claro a qué se refiere cuando una cierta estructura modela o no modela una fórmula. Lo que entiendo es que si encuentro una fórmula tal que  v^A( \sigma )=0 (siendo A la estructura y sigma la fórmula) entonces puedo decir que A no modela sigma?

En mi caso:


tomando en (1) n distinto de 8 y en (2) n igual 8 logro que  v^A( \sigma )=0 ?

Gracias y perdón las molestias
En respuesta a Facundo Rodríguez Martínez

Re: Ejercicio 6

de Guillermo Calderon - InCo -

Sí, tu solución es correcta.

Con respecto a la otra pregunta:

si encuentro una fórmula tal que vA(σ)=0 (siendo A la estructura y sigma la fórmula) entonces puedo decir que A no modela sigma?

Es correcto si sigma es una sentencia.

Si no fuera sentencia, v_A(\sigma) no está definida. En ese caso, hay que considerar la clausura, como lo hacés en tu planteo.