Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Ejercicio 3 - Unidad 3

    Cargado por

    Karolin Vega
    7 vistas1 página

    Título original

    ejercicio 3- unidad 3.docx

    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
    7 vistas1 página

    Ejercicio 3 - Unidad 3

    Cargado por

    Karolin Vega

    Copyright:

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

    Demostración de la validez del argumento mediante las leyes de la inferencia lógica

    Premisas
    P1: (𝑞→𝑟)
    P2: (𝑟→𝑝)
    P3: (¬𝑝∧𝑠)
    Conclusión: (¬𝑞∧𝑠)
    P4: s simplificación 3
    P5: ¬p simplificación 3
    P6: ¬p MTT (2,5)
    P7: ¬q MTT (1,6)
    P8: ¬q∧s ADJUNCION (7,4)
    Es un argumento válido.

    También podría gustarte