
	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 2 UNED Septiembre 2012 Modelo A

Ejercicio 2 UNED Septiembre 2012 Modelo A

Para las fórmulas
$X_1 : (p\rightarrow\neg t)\wedge(p\vee t)$
$X_2 : (s\rightarrow t)\rightarrow s$
$X_3 : (t\rightarrow p)\wedge (p\rightarrow t)$
$X_4 : t\vee(t\rightarrow s)$ ,

indica si alguna de las siguientes es una tautología:

a) $X_1\wedge X_1\rightarrow X_1$
b) $X_4\rightarrow\neg(X_2\wedge X_1)$
c) $(X_2\wedge X_4\wedge X_1\wedge X_3)\rightarrow( X_1\wedge X_2\wedge X_3)$