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

Portada del sitio > Lógica y Estructuras Discretas > EXÁMENES RESUELTOS > UNED - Septiembre 2012 - Modelo A > Ejercicio 8 UNED Septiembre 2012 Modelo A

Ejercicio 8 UNED Septiembre 2012 Modelo A

Para las fórmulas

$Y_1 : (\forall x\exists y\neg Sxy)\rightarrow\neg(\forall z\exists w\neg Szw)$
$Y_2 : \neg(\forall x\exists y Sxy)$
$Y_3 : \neg(\exists w\exists t\neg Stw)$
$Y_4 : \exists t(Pt\rightarrow Stt)$

señale si alguna de las siguientes es tautología:

a) $Y_1\rightarrow\neg Y_2$
b) $Y_2\rightarrow\neg Y_3$
c) $Y_1\rightarrow\neg Y_4$

YouTube Twitter

Física | Química

Mi cuenta | Condiciones Legales | Política de cookies

Secciones

Enlace directo
Vídeo nº

Ejercicio 8 UNED Septiembre 2012 Modelo A

Secciones

Enlace directo Vídeo nº

Ejercicio 8 UNED Septiembre 2012 Modelo A

Enlace directo
Vídeo nº