Oferta 10º Aniversario   +infomación

Portada del sitio > Lógica y Estructuras Discretas > 2 - Técnicas básicas de prueba > Desarrollo de tableau

Desarrollo de tableau

Desarrolle un tableau que confirme la relación de consecuencia :Z_1\models Z_2, siendo:

- Z_1: \forall x(Px\rightarrow \forall yQxy)
- Z_2: \forall x(Px\rightarrow Qxx)

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

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