Equivalencia de varias fórmulas

Se nos asegura que $\forall x(\neg Px\vee Qx)\equiv\forall x\neg(Px\wedge\neg Qx)$ y también que $\forall x(\neg Px\vee Qx)\equiv\neg\exists x(Px\wedge\neg Qx)$ . Indique si alguna de las siguientes afirmaciones es cierta:

a) $\forall x(\neg Px\vee Qx)\equiv \forall x(\neg Px\vee Qx)$
b) Existe una interpretación que satisface $\forall x(\neg Px\vee Qx)$ y sin embargo no satisface $\forall x\neg(Px\wedge\neg Qx)$
c) $\forall x\neg(Px\wedge\neg Qx)\equiv\neg\exists x(Px\wedge\neg Qx)$
d) Toda interpretación que satisface $\neg\exists x(Px\wedge\neg Qx)$ también satisface $\forall x\neg(Px\wedge\neg Qx)$

Secciones

Enlace directo
Vídeo nº

Equivalencia de varias fórmulas


	INICIO Clientes \| Blog MATEMÁTICAS \| QUÍMICA \| FÍSICA \| Matemát. UNIVERSIDAD \| ALEMÁN

Secciones

Enlace directo Vídeo nº

Equivalencia de varias fórmulas

Enlace directo
Vídeo nº