La cosa esta en aplicar bien la definición del ' |= '
Fíjate que al aplicar la clausura, el cuantificador agarra toda la formula y ahi ya hay algo raro...
Saludos!
La cosa esta en aplicar bien la definición del ' |= '
Fíjate que al aplicar la clausura, el cuantificador agarra toda la formula y ahi ya hay algo raro...
Saludos!