Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Reglas de Inferencias Logica

    Cargado por

    Katlen Mendoza
    17 vistas2 páginas
    Este documento presenta las reglas de inferencia para demostrar la proposición "s ˅ t" a partir de varias premisas. Se utilizan las reglas de implicación, disyunción, modus ponens, dilema, eliminación de disyunción y adición para derivar cada paso de la demostración hasta llegar a la conclusión de que "s ˅ t".

    Descripción original:

    Título original

    Reglas de Inferencias Logica (1)

    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?

    Denunciar este documento
    Este documento presenta las reglas de inferencia para demostrar la proposición "s ˅ t" a partir de varias premisas. Se utilizan las reglas de implicación, disyunción, modus ponens, dilema, eliminación de disyunción y adición para derivar cada paso de la demostración hasta llegar a la conclusión de que "s ˅ t".

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    17 vistas2 páginas

    Reglas de Inferencias Logica

    Cargado por

    Katlen Mendoza
    Este documento presenta las reglas de inferencia para demostrar la proposición "s ˅ t" a partir de varias premisas. Se utilizan las reglas de implicación, disyunción, modus ponens, dilema, eliminación de disyunción y adición para derivar cada paso de la demostración hasta llegar a la conclusión de que "s ˅ t".

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 2

    REGLAS DE INFERENCIAS

    KATLHEN LUDITH MENDOZA BABILONIA

    Docente:
    TATIANA MARCELA ROJAS SALAMANCA

    CORPORACION UNIVERSITARIA DEL CARIBE CECAR


    LICENCIATURA EN INGLES
    LÓGICA
    LORICA-CORDOBA
    2022
    1. Demostrar: s ˅t
    1.( p →r )→( a ˅b)
    2. p → q
    3. b → s
    4. q → r
    5. a → s
    6. p → r ( SH 2,4)
    7. a ˅b (MPP1,6)
    8. s ˅ s ( DC 3,5,7)
    9. s (LSD 8)
    10. s ˅ t(LA 9)

    ENLACE: https://youtu.be/uHOH0XqKgtM

    También podría gustarte