Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 8 vistas

    Anexo 1 - Guía para El Desarrollo de La Tarea 1

    Cargado por

    Luisa Ortega León

    Copyright:

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

    Anexo 1 - Guía para El Desarrollo de La Tarea 1

    Cargado por

    Luisa Ortega León
    8 vistas7 páginas

    Título original

    Anexo 1 - Guía Para El Desarrollo de La Tarea 1

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    8 vistas7 páginas

    Anexo 1 - Guía para El Desarrollo de La Tarea 1

    Cargado por

    Luisa Ortega León

    Copyright:

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

    Anexo – 1 – Guía para el desarrollo de la tarea 1

    El presente anexo tiene como finalidad brindar una guía para la solución
    de los ejercicios de la tarea 1.

    Se recomienda revisar el paso a paso de cada uno de los ejercicios aquí


    descritos y aplique correctamente lo leído y lo aprendido del material de
    apoyo para el desarrollo de la unidad 1.

    Ejercicio 1: Proposiciones y tablas de verdad

    A continuación, encontrará las proposiciones simples para el desarrollo


    del ejercicio 1:

    ➢ Proposiciones simples
    p: Gabriel García Márquez escribió 100 años de soledad
    q: Gabriel García Márquez nació en Aracataca
    r: Gabriel García Márquez ganó el premio nobel a la poesía

    ➢ Lenguaje simbólico
    (𝒑 → 𝒒) ∧ (∼ 𝒒 → ∼ 𝒓)

    ➢ Lenguaje Natural

    Si Gabriel García Márquez escribió 100 años de soledad entonces


    Gabriel García Márquez nació en Aracataca y si Gabriel García
    Márquez no nació en Aracataca entonces Gabriel García Márquez
    no ganó el premio nobel a la poesía
    ➢ Tabla manual
    𝒑 𝒒 𝒓 ∼𝒒 ∼𝒓 𝒑→𝒒 ∼𝒒→∼𝒓 (𝒑 → 𝒒) ∧ (∼ 𝒒 →
    ∼ 𝒓)
    V V V F F V V V
    V V F F V V V V
    V F V V F F F F
    V F F V V F V F
    F V V F F V V V
    F V F F V V V V
    F F V V F V F F
    F F F V V V V V

    ➢ Se clasifica como: Contingencia.

    ➢ Tabla de verdad Simulador UNAD


    Ejercicio 2: Identificación de las reglas de la inferencia lógica

    ➢ Expresión simbólica
    ¬r→¬s
    ¬r
    ¬s

    ➢ Ley de inferencia de la expresión: Modus Ponendo Ponens


    (pp)

    ➢ Proposiciones simples:

    r: Carolina estudia ingeniería industrial en la UNAD


    s: Carolina aprobó el curso de cálculo diferencial

    ➢ Lenguaje Natural:
    Si Carolina no estudia ingeniería industrial en la UNAD entonces
    Carolina no aprobó el curso de cálculo diferencial. Carolina no
    estudia ingeniería industrial en la UNAD. Por lo tanto, Carolina no
    aprobó el curso de cálculo diferencial.

    Ejercicio 3: Aplicación de las reglas de la inferencia lógica

    ➢ Argumento: Si Gabriela viaja entonces Gabriela conocerá muchas


    culturas. Gabriela viaja.

    ➢ Conclusión: Gabriela conocerá muchas culturas

    ➢ Ley de inferencia aplicada: Modus Ponendo Ponens (pp)


    ➢ Lenguaje simbólico:
    r→s
    r
    s

    Ejercicio 4: Problemas de aplicación

    ➢ Expresión simbólica: [(𝑝 → ¬𝑞 ) ∧ (𝑞 ∨ ¬𝑟) ∧ 𝑟] → ¬𝑝

    Premisas:
    P1: 𝑝 → ¬𝑞
    P2: 𝑞 ∨ ¬𝑟
    P3: 𝑟
    Conclusión: ¬𝑝

    ➢ Proposiciones simples:

    p: Carolina estudia ingeniería industrial en la UNAD


    q: Carolina aprobó el curso de cálculo diferencial
    r: Carolina está matriculada en el periodo 16-01

    ➢ Lenguaje Natural:
    Si Carolina estudia ingeniería industrial en la UNAD entonces Carolina
    no aprobó el curso de cálculo diferencial. Carolina aprobó el curso de
    cálculo diferencial o Carolina no está matriculada en el periodo 16-01.
    Carolina está matriculada en el periodo 16-01. Por lo tanto, Carolina
    no estudia ingeniería industrial en la UNAD.
    ➢ Tabla de verdad manual
    ➢ Tabla de verdad Simulador UNAD

    ➢ Demostración de la validez del argumento mediante las


    Leyes de Inferencia:
    P1: 𝑝 → ¬𝑞
    P2: 𝑞 ∨ ¬𝑟
    P3: 𝑟

    P4: 𝑞 ………… Modus Tollendo Ponens entre P2 y P3


    P5: ¬𝑝 ……… Modus Tollendo Tollens entre P1 y P4
    Resumen reglas de Inferencia

    Modus Ponendo Ponens (PP)


    𝑝→𝑞
    𝑝
    ∴𝑞

    Modus Tollendo Tollens (TT)


    𝑝→𝑞
    ~𝑞
    ∴ ~𝑝

    Silogismo Hipotético (SH)


    𝑝→𝑞
    𝑞→𝑟
    ∴𝑝→𝑟

    Doble Negación (DN)


    ~(~𝑝)
    ∴𝑝

    Simplificación (S)
    𝑝∧𝑞
    ∴𝑝

    𝑝∧𝑞
    ∴𝑞
    Adjunción (A)
    𝑝
    𝑞
    ∴ 𝑝∧𝑞

    Silogismo disyuntivo (DS)


    𝑝∨𝑞
    𝑝→𝑟
    𝑞→𝑠
    ∴ 𝑟∨𝑠

    Simplificación disyuntiva (SD)


    𝑝∨𝑞
    𝑝→𝑟
    𝑞→𝑟
    ∴𝑟

    Modus Tollendo Ponens (MTP)


    𝑝∨𝑞
    ~𝑞
    ∴𝑝

    También podría gustarte