Portada del sitio > Lógica y Estructuras Discretas > Lógica > Es correcta la siguiente relación de consecuencia:

Es correcta la siguiente relación de consecuencia:

Lunes 3 de diciembre de 2012, por Francisco Ramos

Es correcta la siguiente relación de consecuencia: \forall x (Px\rightarrow Qx), \exists x Px\models\exists x Qx. Entonces diga cuáles son las opciones correctas:
a) \{\forall x (Px\rightarrow Qx), \existsx Px, \exists x Qx\} es un conjunto insatisfacible
b) \{\forall x (Px\rightarrow Qx),\exists x Px,\neg\exists x Qx\} es un conjunto insatisfacible
c) \forall x (Px\rightarrow Qx) \wedge\exists x Px\wedge\neg\exists x Qx es una fórmula insatisfacible
d) \forall x (Px\rightarrow Qx)\wedge\exists x Px\rightarrow\exists x Qx es una fórmula verdadera en toda interpretación

SOLUCIÓN

Son ciertas todas menos la a)

Comentar este artículo

SPIP | | Mapa del sitio | Seguir la vida del sitio RSS 2.0
Red Educativa Cibermatex