Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 84 vistas

    S. 5 - Reglas de Inferencia

    Cargado por

    Ana Isabel Hernández Rodríguez
    Este documento resume cinco reglas de inferencia lógica: modus ponens, modus tollens, silogismo disyuntivo, regla del dilema y regla de transitividad. Explica cada regla con un ejemplo para ilustrar cómo se aplica.

    Copyright:

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

    S. 5 - Reglas de Inferencia

    Cargado por

    Ana Isabel Hernández Rodríguez
    84 vistas6 páginas
    Este documento resume cinco reglas de inferencia lógica: modus ponens, modus tollens, silogismo disyuntivo, regla del dilema y regla de transitividad. Explica cada regla con un ejemplo para ilustrar cómo se aplica.

    Título original

    S. 5_ Reglas de inferencia

    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 resume cinco reglas de inferencia lógica: modus ponens, modus tollens, silogismo disyuntivo, regla del dilema y regla de transitividad. Explica cada regla con un ejemplo para ilustrar cómo se aplica.

    Copyright:

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

    S. 5 - Reglas de Inferencia

    Cargado por

    Ana Isabel Hernández Rodríguez
    Este documento resume cinco reglas de inferencia lógica: modus ponens, modus tollens, silogismo disyuntivo, regla del dilema y regla de transitividad. Explica cada regla con un ejemplo para ilustrar cómo se aplica.

    Copyright:

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

    REGLAS DE INFERENCIA

    MODUS PONENS
    MODUS TOLLENS
    SILOGISMO DISYUNTIVO
    REGLA DEL DILEMA
    REGLA DE TRANSITIVIDAD
    MODUS PONENS: MP
    Dado un enunciado condicional y la afirmación del antecedente,
    tendremos que concluir con la afirmación del consecuente.
    1. A  B
    2. A
    3. B
    Ejemplo
    1. Si las elecciones se anticipan, los nuevos partidos no podrán presentar candidatos. p  -q
    2. Se anticipan las elecciones. p

    3. Los nuevos partidos no podrán presentar candidatos. – q (MP 1, 2)


    MODUS TOLLENS: MT
    Dado un enunciado condicional y la negación de su consecuente, tendremos
    que concluir con la negación de su antecedente.
    1. A → B
    2. – B
    3. – A
    Ejemplo
    1. Los ciegos pueden comprender la geometría. p
    2. Si fuera necesaria la visión para comprender la geometría, entonces los ciegos no la comprenderían. q → -p
    3. La visión no es necesaria para comprender la geometría. – q (MT 1,2)
    SILOGISMO DISYUNTIVO: SD
    Dada una disyunción y la negación de uno de sus miembros,
    podemos concluir con la afirmación del otro miembro.
    1. A ∨ B
    2. – A
    3. B
    Ejemplo
    1. O la isla de la Gomera pertenece a la provincia de Las Palmas o pertenece a la provincia de Santa Cruz. p∨q
    2. La isla de la Gomera no pertenece a la provincia de Las Palmas. -p
    3. La isla de la Gomera pertenece a la provincia de Santa Cruz. q
    REGLA DEL DILEMA: RD
    Dada una disyunción y dos condicionales cuyos antecedentes sean un miembro distinto de esa disyunción, podemos
    concluir con la disyunción de los consecuentes de los condicionales anteriores.

    1. A ∨ B
    2. A  C
    3. B  D
    4. C ∨ D
    Ejemplo
    1. O el método es inductivo, o el método es deductivo. p ∨q
    2. Si el método es inductivo, entonces se partirá de observaciones sensibles y luego se establecerá una
    hipótesis provisional. p  ( r  s )
    3. Si el método es deductivo, se partirá de postulados, axiomas y leyes generales. q t
    4. O se partirá de observaciones sensibles y luego se establecerá una hipótesis provisional, o se partirá de
    postulados, axiomas y leyes generales. ( r  s ) ∨ t
    REGLA DE LA TRANSITIVIDAD: RT
    Dados dos enunciados condicionales de tal forma que el consecuente del primero sea a su
    vez el antecedente del segundo, podemos concluir con otro enunciado condicional cuyo
    antecedente sea el antecedente del primero y cuyo consecuente sea el consecuente del
    segundo.
    1. A  B
    2. B  C
    3. A  C
    Ejemplo
    1. Si no se admite la libertad de expresión, entonces no se cumple un mandato constitucional - p  -q
    2. Si no se cumple un mandato constitucional, entonces todo ciudadano responsable debe protestar enérgicamente – qr
    3. Si no se admite la libertad de expresión, entonces todo ciudadano responsable debe protestar enérgicamente – pr

    También podría gustarte