Nuevo: Matemáticas con tutoría
1 Julio a 31 Agosto +infomación

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

2 - Técnicas básicas de prueba

  •  

    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)

  •  Desarrolle un tableau para demostrar que la fórmula \exists x(\exists y\neg Pxy\vee\exists y\neg Pyx) es consecuencia lógica de \neg\exists x\forall y(Pxy\wedge Pyx)
  •  Realice un tableau del siguiente conjunto de tres fórmulas: \{ p\rightarrow(q\wedge r),\neg(q\wedge r),p\}. ¿Qué conclusión extrae a la vista del resultado?
  •  Realice el tableau del siguiente conjunto de tres fórmulas: \{ p\rightarrow(q\wedge r),\neg(q\wedge r),\neg p\}. ¿Que conclusión se extrae a la vista de los resultados?

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