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

Ejercicio 14 UNED Febrero 2012 Modelo A

Dadas las fórmulas:

- Z_1: \forall x(Px\rightarrow \exists yQxy)
- Z_2: \forall x(Px\rightarrow\forall yQxy)
- Z_3: \forall x(Px\rightarrow Qxx)
- Z_4: \forall x(Px\rightarrow\neg Qxx)

indique si alguna es consecuencia de otra

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

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