Primer Parcial 2018 ejercicio 4.b

Primer Parcial 2018 ejercicio 4.b

de Thiago Caetano Acuña Vinoles -
Número de respuestas: 1

Buenas, tengo una duda en cuanto a la solución de dicho parcial.

En dicha solución se dice "Sea v_1 una valuación tal que v_1 (\Delta _2) = 1, hay que probar [...]"
Nosotros sabemos que \Delta _1 \cup \Delta _2 es inconsistente y se puede ver (por cómo está formado) que \Delta _ 1 es consistente.
Sin embargo, ¿Cómo se sabe que se puede definir una valuación como  v_1 ? Es decir, ¿Cómo sabemos que  \Delta _2 es consistente?
¿No podría pasar que fuese inconsistente?
En respuesta a Thiago Caetano Acuña Vinoles

Re: Primer Parcial 2018 ejercicio 4.b

de Guillermo Calderon - InCo -

No se prueba que exista esa valuación.

Se prueba que si existiera una valuación tal, entonces esa valuación cumpliria que @#v_1(\varphi)=1#@.

Es probar que se cumple con la definición de consecuencia lógica.