Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 86 vistas

    Ejercicio 2 Unidad 3 - Mariana Moreno

    Cargado por

    Mariana Moreno
    Este documento presenta un ejercicio de lógica proposicional que involucra determinar premisas, proposiciones simples, razonamiento en lenguaje natural, tabla de verdad y demostración de validez. Se divide el argumento dado en tres premisas. Se definen tres proposiciones simples p, q, r y se traduce el lenguaje simbólico a lenguaje natural. Se genera una tabla de verdad manual y con simulador que muestra que la expresión es una tautología. Finalmente, se demuestra la validez del

    Copyright:

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

    Ejercicio 2 Unidad 3 - Mariana Moreno

    Cargado por

    Mariana Moreno
    86 vistas3 páginas
    Este documento presenta un ejercicio de lógica proposicional que involucra determinar premisas, proposiciones simples, razonamiento en lenguaje natural, tabla de verdad y demostración de validez. Se divide el argumento dado en tres premisas. Se definen tres proposiciones simples p, q, r y se traduce el lenguaje simbólico a lenguaje natural. Se genera una tabla de verdad manual y con simulador que muestra que la expresión es una tautología. Finalmente, se demuestra la validez del

    Descripción original:

    Problemas de aplicación

    Título original

    Ejercicio 2 Unidad 3_Mariana Moreno

    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 ejercicio de lógica proposicional que involucra determinar premisas, proposiciones simples, razonamiento en lenguaje natural, tabla de verdad y demostración de validez. Se divide el argumento dado en tres premisas. Se definen tres proposiciones simples p, q, r y se traduce el lenguaje simbólico a lenguaje natural. Se genera una tabla de verdad manual y con simulador que muestra que la expresión es una tautología. Finalmente, se demuestra la validez del

    Copyright:

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

    Ejercicio 2 Unidad 3 - Mariana Moreno

    Cargado por

    Mariana Moreno
    Este documento presenta un ejercicio de lógica proposicional que involucra determinar premisas, proposiciones simples, razonamiento en lenguaje natural, tabla de verdad y demostración de validez. Se divide el argumento dado en tres premisas. Se definen tres proposiciones simples p, q, r y se traduce el lenguaje simbólico a lenguaje natural. Se genera una tabla de verdad manual y con simulador que muestra que la expresión es una tautología. Finalmente, se demuestra la validez del

    Copyright:

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

    Ejercicio 3: Problemas de aplicación

    Expresión simbólica:

    c. Expresión simbólica: [(p → ¬r) ∧ (q → p) ∧ (r ∧ q)] → (r ∨ q)

    Determinación de Premisas: (De acuerdo a la expresión simbólica divida el argumento en


    premisas de forma vertical y deben ser numeradas)

    Premisas
    P1: (p → ¬r)
    P2: (q → p)
    P3: (r ∧ q)

    Conclusión: (r ∨ q)

    Desarrollo:

     Proposiciones simples: (se define cada proposición simple del argumento, siempre en
    afirmativo y con letras en minúscula).
    p: estudio en el Sena

    q: homólogo en la UNAD

    r: estudio a distancia

     Razonamiento en lenguaje natural: (A partir de las proposiciones simples anteriores


    y el lenguaje simbólico dado en el ejercicio, se construye la expresión en lenguaje
    formal o natural)

    Si estudio en el Sena entonces no estudio a distancia. Si homólogo en la UNAD entonces


    estudio en el Sena. Si estudio a distancia y homólogo en la UNAD. Por lo tanto, estudio a
    distancia o estudio en el Sena.

     Generar una tabla de verdad manualmente a partir del lenguaje simbólico (En Word,
    Excel o foto del desarrollo manual)
    p q r ¬r p→¬r q→p (r ∧ q) (p → ¬r) ∧ (q → p) (r ∨ q) [(p → ¬r) ∧ (q → p) ∧ (r ∧ q)] → (r ∨ q)
    (q → p) ∧ (r ∧ q)
    V V V F F V V F V V V

    V V F V V V F V F V V

    V F V F F F F V F V V

    V F F V V F F F F F V

    F V V F V V V V V V V

    F V F V V V F V F V V

    F F V F V V F V F V V

    F F F V V V F V F F V

     Resultado de la tabla de verdad: TAUTOLOGÍA


     Generar la tabla de verdad con el simulador Lógica UNAD
     Demostración de la validez del argumento mediante las leyes de la inferencia lógica

    Premisas

     P1: (p → ¬r)
     P2: (q → p)
     P3: (r ∧ q)

    Conclusión: (r ∨ q)

    P4: (r ∨ q) Contraria (2)

    También podría gustarte