Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Primer Trabajo en Casa de Lógica y Pensamiento Matemático 2021A CUN

    Cargado por

    nicol dayana jimenez
    10 vistas1 página
    (1) Para demostrar A Λ B, se parte de la premisa B, luego que B implica la negación de D, de lo que se sigue A v D, y aplicando modus tollens se obtiene A, por lo que A y B es verdadero. (2) Para demostrar H, se parte de la negación de S, luego S o (H o G), y negando G se obtiene H o G, por lo que H es verdadero.

    Descripción original:

    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
    (1) Para demostrar A Λ B, se parte de la premisa B, luego que B implica la negación de D, de lo que se sigue A v D, y aplicando modus tollens se obtiene A, por lo que A y B es verdadero. (2) Para demostrar H, se parte de la negación de S, luego S o (H o G), y negando G se obtiene H o G, por lo que H es verdadero.

    Copyright:

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

    Primer Trabajo en Casa de Lógica y Pensamiento Matemático 2021A CUN

    Cargado por

    nicol dayana jimenez
    (1) Para demostrar A Λ B, se parte de la premisa B, luego que B implica la negación de D, de lo que se sigue A v D, y aplicando modus tollens se obtiene A, por lo que A y B es verdadero. (2) Para demostrar H, se parte de la negación de S, luego S o (H o G), y negando G se obtiene H o G, por lo que H es verdadero.

    Copyright:

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

    Primer Trabajo en Casa de Lógica y P.

    Matemático

    1) Demostrar A Λ B

    (1) B

    (2)B → No D

    (3)A V D
    (4)No D pp 1,2
    (5)A TP 3,4
    (6)A y B AD 1,5

    2) Demostrar H

    (1) No S

    (2) S V (H V G)

    (3) No G
    (4) H o G TP 1,2
    (5) H TP 3,4

    También podría gustarte