Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 69 vistas

    Ejercicio 4, Unidad 2 - Angie Duque

    Cargado por

    Paola
    Este documento presenta un problema lógico para determinar si un argumento es válido. Las premisas son: (1) Si el profesor explica bien, entonces entiende bien el tema, (2) Si no pasa la evaluación, entonces no estudió para la materia, (3) El profesor explica bien y estudió la materia. La conclusión es que pasó la evaluación y entendió bien el tema. Se genera una tabla de verdad que muestra que el argumento es una tautología, por lo que es válido.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    Ejercicio 4, Unidad 2 - Angie Duque

    Cargado por

    Paola
    69 vistas3 páginas
    Este documento presenta un problema lógico para determinar si un argumento es válido. Las premisas son: (1) Si el profesor explica bien, entonces entiende bien el tema, (2) Si no pasa la evaluación, entonces no estudió para la materia, (3) El profesor explica bien y estudió la materia. La conclusión es que pasó la evaluación y entendió bien el tema. Se genera una tabla de verdad que muestra que el argumento es una tautología, por lo que es válido.

    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?

    Este documento presenta un problema lógico para determinar si un argumento es válido. Las premisas son: (1) Si el profesor explica bien, entonces entiende bien el tema, (2) Si no pasa la evaluación, entonces no estudió para la materia, (3) El profesor explica bien y estudió la materia. La conclusión es que pasó la evaluación y entendió bien el tema. Se genera una tabla de verdad que muestra que el argumento es una tautología, por lo que es válido.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    69 vistas3 páginas

    Ejercicio 4, Unidad 2 - Angie Duque

    Cargado por

    Paola
    Este documento presenta un problema lógico para determinar si un argumento es válido. Las premisas son: (1) Si el profesor explica bien, entonces entiende bien el tema, (2) Si no pasa la evaluación, entonces no estudió para la materia, (3) El profesor explica bien y estudió la materia. La conclusión es que pasó la evaluación y entendió bien el tema. Se genera una tabla de verdad que muestra que el argumento es una tautología, por lo que es válido.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 3

    Tarea 2-Métodos para probar validez de argumentos

    Ejercicio 4: Problemas de aplicación

    Expresión simbólica:

    [(𝑝 → 𝑠) ∧ (~𝑞 → ~𝑟) ∧ (𝑝 ∧ 𝑟)] → (𝑞 ∧ 𝑠)

    Determinación de Premisas:
     P1: (𝑝 → 𝑠)
     P2:(~𝑞 → ~𝑟)
     P3: (𝑝 ∧ 𝑟)

    Conclusión: (𝑞 ∧ 𝑠)

    Desarrollo:

     Proposiciones simples:

     p: el profesor explica bien


     q: paso la evaluación
     r: estudio la materia
     s: entiendo bien el tema
     ∼q: no paso la evaluación
     ∼r: no estudio para la materia

     Razonamiento en lenguaje natural:

    Si el profesor explica bien, entonces entiendo bien el tema y si no


    paso la evaluación, entonces no estudio la materia y el profesor explica
    bien y entiendo la materia, entonces paso la evaluación y entiendo
    bien el tema

     Generar la tabla de verdad manualmente:

    (p→s
    (p→s)
    ) (∼q→∼r) (q ∧ (p→s)
    p q r s ∼q ∼r (p ∧ r) ∧(∼q→∼r) (p→s) ∧(∼q→∼r)∧
    s) ∧(∼q→∼r) (p ∧ r) → (q ∧ s)
    ∧(p ∧ r)

    V V V V F F V V V V V V V

    V V V F F F F V V F F F V

    V V F V F V V V F V V F V

    V V F F F V F V F F F F V

    V F V V V F V F V F F F V

    V F V F V F F F V F F F V

    V F F V V V V V F F V F V

    V F F F V V F V F F F F V

    F V V V F F V V F V V F V

    F V V F F F V V F F V F V

    F V F V F V V V F V V F V

    F V F F F V V V F F V F V

    F F V V V F V F F F F F V

    F F V F V F V F F F F F V

    F F F V V V V V F F F F V

    F F F F V V V V F F F F V

    Resultado de la tabla de verdad: TAUTOLOGÍA

     Generar la tabla de verdad con el simulador Lógica UNAD


    leyes de inferencia:

    P1: (𝑝 → 𝑠)
    P2:(~𝑞 → ~𝑟)
    P3: (𝑝 ∧ 𝑟)

    P4: p Simplificación en P3
    P5: r Simplificación en P3
    P6: s Modus Ponendo Ponens MMP en P1 y P4
    P7: q Modus tollens en P2 y P5
    P8: q ∧ s Adjunción en P6 y P7

    También podría gustarte

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy