Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Logica PT 3

    Cargado por

    natalia baquero
    13 vistas1 página

    Título original

    logica pt 3 (1)

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    13 vistas1 página

    Logica PT 3

    Cargado por

    natalia baquero

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 1

    III.

    Demuestre H:
    1. J → ~ L
    2. ~ H → S
    3. ~ D v L
    4. (~ F → D) Λ (J Λ K)
    5. S w F

    6. (~ F → D) Λ J por SIMP en 4
    7. J por SIMP en 6
    8. ~ L por PP en 1 y 7
    J→~L
    J
    --------------
    ~L
    9. D por TT en 3 y 8
    ~DvL
    ~L
    --------------
    D
    10. ~ F → D por SIMP en 6
    11. F por TT en 10 y 9
    ~F→D
    D
    --------------
    F
    12. ~S por PT en 5 y 11
    SwF
    F
    --------------
    ~S
    13. H por TT en 2 y 12
    ~H→S
    ~S
    --------------
    H

    También podría gustarte