Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 92 vistas

    Modus Ponendo Ponens (PP)

    Cargado por

    Juan Carlos Velastegui
    Este documento presenta diferentes reglas de inferencia lógica como el modus ponens, modus tollens, adjunción, simplificación y dilema constructivo. Explica cada regla con ejemplos para ilustrar cómo se puede llegar a una conclusión a partir de un conjunto de premisas usando la lógica.

    Copyright:

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

    Modus Ponendo Ponens (PP)

    Cargado por

    Juan Carlos Velastegui
    92 vistas16 páginas
    Este documento presenta diferentes reglas de inferencia lógica como el modus ponens, modus tollens, adjunción, simplificación y dilema constructivo. Explica cada regla con ejemplos para ilustrar cómo se puede llegar a una conclusión a partir de un conjunto de premisas usando la lógica.

    Descripción original:

    Lógica Matemática

    Título original

    MODUS PONENDO PONENS (PP)

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PPTX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta diferentes reglas de inferencia lógica como el modus ponens, modus tollens, adjunción, simplificación y dilema constructivo. Explica cada regla con ejemplos para ilustrar cómo se puede llegar a una conclusión a partir de un conjunto de premisas usando la lógica.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    92 vistas16 páginas

    Modus Ponendo Ponens (PP)

    Cargado por

    Juan Carlos Velastegui
    Este documento presenta diferentes reglas de inferencia lógica como el modus ponens, modus tollens, adjunción, simplificación y dilema constructivo. Explica cada regla con ejemplos para ilustrar cómo se puede llegar a una conclusión a partir de un conjunto de premisas usando la lógica.

    Copyright:

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

    LEYES DE INFERENCIA

    INTEGRANTES: Lenin Chicaiza


    Juan Carlos
    Velasteguí
    Edwin Lagua
    Napoleón Quispe

    Marcelo Chicaiza
    Regla de Inferencia
    Las reglas que permiten a través de in conjunto
    de premisas llega a una conclusión lógica.

    MODUS PONENDO PONENS (PP)


     El modus ponendo ponens (el modo que afirmando
    afirma) es un tipo de argumento lógico, de inferencia razonada.
    Busca poder deducir a través de estas una conclusión que requiere de una
    doble afirmación.
    EJEMPLO
    La biología estudia la vida, entonces, estudia las células
    de todos los seres vivos

    Si afirmo el antecedente, mi conclusión es la afirmación


    del consecuente
    MODUS TOLLENDO TOLLENS

     El modus Tollendo Tollens (Modo que negando niega) es una


    forma de argumento válida y una regla de inferencia en lógica
    proposicional.
     P esta enlazada a Q por un condicional, entonces si no tenemos Q no
    tenemos P
    EJEMPLO
    Tienes que comer si tienes hambre

    Si niego el consecuente, mi conclusión es la negación


    del antecedente.
    Regla de Adjunción
    • Permite pasar de las dos premisas a la conclusión. Se
    indica con una letra A.

     • De manera simbólica de las premisas.


    P
    Q
    Se puede concluir P
    O se puede concluir Q
    • Por ejemplo
    • P1: Jorge es Adulto
    • P2: María es adolescente
    • Conclusión: Jorge es Adulto y María es Adolescente.
    Ejemplo de Adjunción
     • Ejemplo 1
    • P P1
    • P2
    • P

     • Ejemplo 2
    • PVQ P1
    • QVR P2
    • (PVQ)
    Regla de Simplificación
     • Permite pasar de una conjunción a cada una de las dos
    proposiciones que están unidas por Se designa la abreviación S.

     • De manera simbólica de las premisas.


    P
    Se puede concluir P
    O se puede concluir Q

    • Por ejemplo
    • P1: El cumpleaños de María es viernes y el mío el sábado.
    • Conclusión1: El cumpleaños de María es el viernes.
    • Conclusión2: el mío es el sábado.
    Ejemplo de Simplificación
     • Ejemplo 1
    • (PVQ) R P1
    • (PVQ) S1
    Ó
    R S2
    LEYES DE INFERENCIA
    ADICIÓN
     Si p es cierta y q es cierta, entonces la conjunción “P y Q” también es cierta.

    Ejemplos:
    p ¬r
    ……….. …………………..
    (p v q) ¬ r v (t v s)
    LEYES DE INFERENCIA
    DILEMA CONSTRUCTIVO
    Si p  implica q y r implica s, entonces si p o r es verdadera, se deduce que, o bien q o
    s es verdadera

    Ejemplo
    p r ¬r p
    q ¬s s (q ^ t)
    pvq s v ¬r
    -------------- ----------------
    r v ¬s p v (q ^ t)
    El dilema constructivo es la versión disyuntiva del modus ponens
    Dilema destructivo
    Sirve para inferir una conclusión de premisas dadas
    para generar una argumentación valida
    Se deduce de:
    P → Q Condicional
    P ˄ Q Conjuncón
    P ˅ Q Disyunción
    (P → Q) ˄ (R → S) ˄ (~Q ˅ ~S) ≡ (~P ˅ ~Q)

    Si estudio Biología entonces aprenderé las (P → Q)


    características de los seres vivos,

    y si estudio física entonces entonces (R → S)


    aprenderé la interacción del materia y
    energía,

    o no aprenderé las características de los (~Q ˅ ~S)


    seres, o no aprenderé la interacción del
    materia y energía.

    (~Q ˅ ~S)
    Por lo tanto o estudio biología o no estudio
    física.

    También podría gustarte