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

Ejercicio 6-7 UNED Septiembre 2012 Modelo A

Para las fórmulas

- Y_1 : (\forall x\exists y\neg Sxy)\rightarrow\neg(\forall z\exists w\neg Szw)
- Y_2 : \neg(\forall x\exists y Sxy)
- Y_3 : \neg(\exists w\exists t\neg Stw)
- Y_4 : \exists t(Pt\rightarrow Stt)

indica si son ciertas las consecuencias:

- a) \{Y_1, Y_2\}\models\neg Y_4
- b) \{Y_1,Y_4\}\models\neg Y_3
- c) \{Y_ 2\}\models\neg Y_3

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

1 Mensaje

  • Ejercicio 6-7 UNED Septiembre 2012 Modelo A

    17 de octubre de 2015 17:40, por Crescencio

    Dices que si suponemos S=0(vacío), P=0 (vacío), la fórmula Y1 es cierta. Yo creo que no es así. El antecedentede Y1 es cierto (1) pero su consecuente es falso (0) y por tanto

    (1)-> (0) es FALSO. Al ser falsa Y1, no la puedo emplear para decir que noY4 no sea consecuencia de Y1, Y2.

    No se si me explico.

    Gracias.


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