
	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 - Febrero 2012 - Modelo A > Ejercicio 11 UNED Febrero 2012 Modelo A

Ejercicio 11 UNED Febrero 2012 Modelo A

Dado el universo $U=\{ 1,2,3,4,5,6\}$ el conjunto $P=\{ 1,4,6\}$ y la relación $Q=\{ (1,2),(1,3),(2,2),(3,1)\}$ y las fórmulas $Z_1:\forall x(Px\rightarrow\exists yQxy)$ $Z_2:\forall x(Px\rightarrow Qxx)$ Deteremine si ahí son verdaderas las fórmulas