Usuario:Aaaw04/ejercicio18

Suponga que Ë1xP(x) y que Âx(P(x) →Q(x)). ¿Es correcta la conclusión Ë1xQ(x)=? En caso negativo dar un contraejemplo.

El resultado no es correcto, tal y como muestra el siguiente modelo: P(a)=V. P(b)=F, Q(a)=V, Q(b)=V. Entonces Ë1xP(x)  y (P(x) → Q(x)) son ambas verdaderas, pero Ë1xQx) es falsa.