Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 341 vistas

    Inferencia Logica

    Cargado por

    Jacsen Eduardo Correrin
    Este documento presenta un ejercicio de lógica proposicional que involucra determinar si un argumento es válido. Se proporciona la expresión simbólica del argumento, junto con las premisas y conclusión. El estudiante debe definir las proposiciones simples en lenguaje natural, construir una tabla de verdad, y demostrar la validez del argumento mediante reglas de inferencia lógica.

    Copyright:

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

    Inferencia Logica

    Cargado por

    Jacsen Eduardo Correrin
    341 vistas4 páginas
    Este documento presenta un ejercicio de lógica proposicional que involucra determinar si un argumento es válido. Se proporciona la expresión simbólica del argumento, junto con las premisas y conclusión. El estudiante debe definir las proposiciones simples en lenguaje natural, construir una tabla de verdad, y demostrar la validez del argumento mediante reglas de inferencia lógica.

    Descripción original:

    inferencia logica

    Título original

    inferencia logica

    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 si un argumento es válido. Se proporciona la expresión simbólica del argumento, junto con las premisas y conclusión. El estudiante debe definir las proposiciones simples en lenguaje natural, construir una tabla de verdad, y demostrar la validez del argumento mediante reglas de inferencia lógica.

    Copyright:

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

    Inferencia Logica

    Cargado por

    Jacsen Eduardo Correrin
    Este documento presenta un ejercicio de lógica proposicional que involucra determinar si un argumento es válido. Se proporciona la expresión simbólica del argumento, junto con las premisas y conclusión. El estudiante debe definir las proposiciones simples en lenguaje natural, construir una tabla de verdad, y demostrar la validez del argumento mediante reglas de inferencia lógica.

    Copyright:

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

    Ejercicio 4: Problemas de aplicación

    Descripción del ejercicio:

    A continuación, encontrará la expresión simbólica, las premisas y la


    conclusión de un argumento para el desarrollo del ejercicio 4:

    a. Expresión simbólica:

    [(¬𝒑 → 𝒒) ∧ (𝒒 → ¬𝒓) ∧ (¬𝒓 → 𝒔) ∧ (¬𝒑) ∧ (¬𝒔 ∨ 𝒓)] → 𝒓

    Premisas:
    P1: ¬𝒑 → 𝒒
    P2: 𝒒 → ¬𝒓
    P3: ¬𝒓 → 𝒔
    P4: ¬𝒑
    P5: ¬𝒔 ∨ 𝒓
    Conclusión: 𝒓

    A partir de la expresión simbólica seleccionada, el estudiante deberá:

     Definir las proposiciones simples, tendrá la libertad de definirla


    bajo una descripción basada en un contexto, el que se solicita es
    un contexto académico, ejemplo:

    P= si Eduardo estudia en la Unad.

    q=estudiara en otra universidad

    r= se podrá graduar

    s=perderá mucho dinero


     Remplazar las variables expresadas simbólicamente y llevarlas al
    lenguaje natural. Las proposiciones simples deben ser de autoría
    de cada estudiante, por lo que de encontrar proposiciones iguales
    entre estudiantes se considerara como copia y se tomaran las
    medidas correctivas estipuladas por la UNAD.

    Respuesta:
    Si Eduardo no estudia en la UNAD entonces estudiara en otra universidad. Si
    estudiara en otra universidad, no se podrá graduar, si no se puede graduar
    entonces perderá mucho dinero. Si Eduardo no estudia en la Unad, no
    perdería mucho dinero o se podrá graduar.

    Conclusión: se podrá graduar

     Generar una tabla de verdad con el simulador Truth Table a partir


    del lenguaje simbólico (El estudiante encontrará la Guía para el
    uso de recursos educativos Simulador TRUTH, en el Entorno de
    Aprendizaje Práctico, así como el link de acceso al recurso)
    TABLA DE LA VERDAD [(¬P→q)ᴧ(q→¬r)ᴧ(¬r→s)ᴧ(¬P)ᴧ(¬Sѵr)]→r

    ¬ ¬ ¬ (¬P (q→ (¬r (¬S (¬P→q)ᴧ( (¬P→q)ᴧ(q→¬ (¬P→q)ᴧ(q→¬r)ᴧ( [(¬P→q)ᴧ(q→¬r)ᴧ(¬r→s [(¬P→q)ᴧ(q→¬r)ᴧ(¬r→s)ᴧ


    pqRS →q) ¬r) →s) ѵr) q→¬r) r)ᴧ(¬r→s) ¬r→s)ᴧ(¬P) )ᴧ(¬P)ᴧ(¬Sѵr)] (¬P)ᴧ(¬Sѵr)]→r
    P r s
    v V V V F F F V F V V F F F F V
    v V V F F F V V F V V F F F F V
    v V F V F V F V V V F V V F F V
    v V F F F V V V V F V V F F F V
    v F V V F F F V V V V V V F F V
    v F V F F F V V V V V V V F F V
    v F F V F V F V V V F V V F F V
    V F F F F V V V V F V V F F F V
    F V V V V F F V F V V F F F F V
    F V V F V F V V F V V F F F F V
    F V F V V V F V V V F V V V F V
    F V F F V V V V V F V V F F F V
    F F V V V F F F V V V F F F F V
    F F V F V F V F V V V F F F F V
    F F F V V V F F V V F F F F F V
    F F F F V V V F V F V F F F F V
     Demostración de la validez del argumento mediante las leyes de la
    inferencia lógica

    Premisas:
    P1: ¬𝒑 → 𝒒
    P2: 𝒒 → ¬𝒓
    P3: ¬𝒓 → 𝒔
    P4: ¬𝒑
    P5: ¬𝒔 ∨ 𝒓

    6 𝒒→𝒔 SH (2), (3)


    7 ¬𝒑 → 𝑺 SH (1), (6)
    8 𝑺 MPP (4), (7)
    9 𝒓 MTP (5), (8) CONCLUSION

    También podría gustarte