Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 22 vistas

    Unidad 2 - Iader Paz

    Cargado por

    richar pacheco rodriguez
    El documento presenta varios ejercicios lógicos que involucran el uso de lenguaje simbólico y tablas de verdad para evaluar argumentos. El primer ejercicio expresa una proposición condicional en lenguaje simbólico y natural y determina que el resultado es una contingencia usando una tabla de verdad. Los ejercicios siguientes involucran expresar argumentos en lenguaje simbólico, identificar premisas y conclusiones, y aplicar leyes de inferencia como modus ponens y simplificación para demostrar la validez de

    Copyright:

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

    Unidad 2 - Iader Paz

    Cargado por

    richar pacheco rodriguez
    22 vistas4 páginas
    El documento presenta varios ejercicios lógicos que involucran el uso de lenguaje simbólico y tablas de verdad para evaluar argumentos. El primer ejercicio expresa una proposición condicional en lenguaje simbólico y natural y determina que el resultado es una contingencia usando una tabla de verdad. Los ejercicios siguientes involucran expresar argumentos en lenguaje simbólico, identificar premisas y conclusiones, y aplicar leyes de inferencia como modus ponens y simplificación para demostrar la validez de

    Descripción original:

    Título original

    unidad 2_iader paz

    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?

    El documento presenta varios ejercicios lógicos que involucran el uso de lenguaje simbólico y tablas de verdad para evaluar argumentos. El primer ejercicio expresa una proposición condicional en lenguaje simbólico y natural y determina que el resultado es una contingencia usando una tabla de verdad. Los ejercicios siguientes involucran expresar argumentos en lenguaje simbólico, identificar premisas y conclusiones, y aplicar leyes de inferencia como modus ponens y simplificación para demostrar la validez de

    Copyright:

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

    Unidad 2 - Iader Paz

    Cargado por

    richar pacheco rodriguez
    El documento presenta varios ejercicios lógicos que involucran el uso de lenguaje simbólico y tablas de verdad para evaluar argumentos. El primer ejercicio expresa una proposición condicional en lenguaje simbólico y natural y determina que el resultado es una contingencia usando una tabla de verdad. Los ejercicios siguientes involucran expresar argumentos en lenguaje simbólico, identificar premisas y conclusiones, y aplicar leyes de inferencia como modus ponens y simplificación para demostrar la validez de

    Copyright:

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

    EJERCIO B

    p: El SISSU es la estrategia solidaria que dinamiza la E-comunidad.

    q: La E-comunidad es una de las dimensiones del Modelo Pedagógico Unadista E-learning.

    r: El E-MPU visualiza el proceso educativo del sujeto que posibilita la construcción del
    conocimiento.

    Lenguaje simbólico

    (p ∧ q) ↔ (q ∧ r)

    Lenguaje natural
    El SISSU es la estrategia solidaria que dinamiza la E-comunidad y La E-comunidad es una de las
    dimensiones del Modelo Pedagógico Unadista E-learning si y solo si La E-comunidad es una de las
    dimensiones del Modelo Pedagógico Unadista E-learning y El E-MPU visualiza el proceso educativo
    del sujeto que posibilita la construcción del conocimiento.

    TABLA DE VERDAD

    (p ∧ q) ↔ (q ∧ r)

    P Q R (P ∧ Q) (Q ∧ R) (P ∧ Q) ↔ (Q ∧ R)
    V V V V V V
    V V F V F F
    V F V F F V
    V F F F F V
    F V V F V F
    F V F F F V
    F F V F F V
    F F F F F V

    el resultado es una contingencia.

    https://youtu.be/PJUqiofsqL0
    Ejercicio 2

    B. Si Manizales es la capital del departamento de Caldas, entonces Pereira no es la Capital del


    Quindío. Manizales es la capital de Caldas.

    P Manizales es la capital del departamento de Caldas

    Q Pereira no es la capital del Quindío

    a. Lenguaje simbólico

    P1 p → q

    P2 p

    Cq

    b. Ley de inferencia aplicada: Modus ponendo ponens

    c. Conclusión: Pereira no es la Capital del Quindío

    Ejercicio 3

    B. Expresión simbólica

    [(p v q) ᴧ (p → r) ᴧ (q →r) ᴧ p]→ (p ᴧ r)

    P1: p v q

    P2: p → r

    P3: q → r

    P4: p
    Conclusión: p ᴧ r

    Demostración:
    p q r (p v q) (p→r) (p v q) ^ (q→r) (p v q) ^ [(pvq) ^ (p^r) [(p v q) ^ (p→r) ^
    (p→r) (p→r) ^ (p→r) ^ (q→r) ^ p]→ (p ^
    (q→r) (q→r) ^ p] r)
    V V V V V V V V V V V
    V V F V F F F F F F V
    V F V V V V V V V V V
    V F F V F F V F F F V
    F V V V V V V V F F V
    F V F V V V F F F F V
    F F V F V F V F F F V
    F F F F V F V F F F V

    Premisa Ley de inferencia aplicada Premisas usadas

    Premisa Ley de inferencia aplicada Premisas usadas


    P5: r Simplificación
    P8: p ᴧ r Simplificación

    Ejercicio 4

    B. Expresión simbólica:

    [(q→r) ∧ (p → r) ∧ (p ∨ q) ∧ (~p→~r)]→ (r ᴧ p)
    P1: (q →r)

    P2: (p → r)

    P3: (p ∨ q)

    P4: (~p→~r)

    Conclusión: (r ᴧ p)

    q r p (q→r) (p→r) (q→r) ∧ (p v q) (q→r) ∧ [(q→r) ∧ (p→r) (p ^ r)


    (p→r) (p→r) ∧ (p v ∧ (p v q) ∧ [(q→r) ∧ (p→r) ∧ (p v
    q) (p→r)] q) ∧ (p→r)]→ (r ᴧ p)
    V V V V V V V V V V V
    V V F V V V V V V F F
    V F V F F F V F F F V
    V F F F V F V F F F V
    F V V V V V V V V V V
    F V F V V V F F F F V
    F F V V F F V F F F V
    F F F V V V F F F F V

    Si estudio, entonces obtendré buenos resultados. Además, si practico regularmente, entonces


    también obtendré buenos resultados. Además, es cierto que si estudio o practico regularmente.
    Por último, si no estudio, entonces no obtendré buenos resultados

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

    También podría gustarte