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

Ejercicio 5 UNED Septiembre 2012 Modelo A

Indica si la interpretación U=\{ 0,1\} , S=\{ (0,0),(0,1)\} satisface alguna de las fórmulas:
- Y_1 : (\forall x\exists y\neg Sxy)\rightarrow\neg(\forall x\exists w\neg Szw)
- Y_2 : \neg(\forall x\exists y Sxy)
- Y_3 : \neg(\exists w\exists t\neg Stw)
recargar  recargar  Todos los Ejercicios del Tema  Índice de TEORÍA  

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