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

Ejercicio 13 UNED Febrero 2012 Modelo A

¿A cuál de estas tres fórmulas es equivalente la fórmula Z_1:\forall x(Px\rightarrow\exists yQxy):

- 1.- Z_2:\exists y\forall x(\neg Px\vee Qxy)
- 2.- Z_3:\forall x\forall y(\neg Px\vee Qxy)
- 3.- Z_4:\forall x\exists y(Px\vee Qxy)?

recargar  recargar  Todos los Ejercicios del Tema  Índice de TEORÍA  

© 2007, 2019 CiberMatex | My CiberMatexMi cuenta | Condiciones Legales | Política de cookies