Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 1d Lógica de Proposiciones - Reglas de Inferencia

    Cargado por

    JuanFranciscoGarcíaDelgado
    4 vistas1 página
    Este documento describe las reglas de inferencia en lógica proposicional, incluyendo el Modus Ponens, la regla de separación, la regla de unión, la regla de inserción, la regla de intercambio, la regla de simplificación, la regla de adición, el Modus Tollens, el silogismo hipotético, el silogismo disyuntivo, la ley de casos, la eliminación del bicondicional y la introducción del bicondicional.

    Descripción original:

    Título original

    1d Lógica de Proposiciones - reglas de inferencia

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Denunciar este documento
    Este documento describe las reglas de inferencia en lógica proposicional, incluyendo el Modus Ponens, la regla de separación, la regla de unión, la regla de inserción, la regla de intercambio, la regla de simplificación, la regla de adición, el Modus Tollens, el silogismo hipotético, el silogismo disyuntivo, la ley de casos, la eliminación del bicondicional y la introducción del bicondicional.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    4 vistas1 página

    1d Lógica de Proposiciones - Reglas de Inferencia

    Cargado por

    JuanFranciscoGarcíaDelgado
    Este documento describe las reglas de inferencia en lógica proposicional, incluyendo el Modus Ponens, la regla de separación, la regla de unión, la regla de inserción, la regla de intercambio, la regla de simplificación, la regla de adición, el Modus Tollens, el silogismo hipotético, el silogismo disyuntivo, la ley de casos, la eliminación del bicondicional y la introducción del bicondicional.

    Copyright:

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

    LÓGICA

    Reglas de inferencia de Lógica Proposicional

    REGLAS DE INFERENCIA
    EN LÓGICA DE PROPOSICIONES
    Modus ponens
    A → B, A ⊨ B
    Regla de separación
    A, B ⊨ A ∧ B Regla de unión
    ⊨T Regla de inserción
    Regla de intercambio (siendo
    C[A], A ↔ B ⊨ C[B]
    C[A] cualquier premisa con A)

    REGLAS DE INFERENCIA PRÁCTICAS


    EN LÓGICA DE PROPOSICIONES
    ⊨T Regla de inserción
    Regla de intercambio
    C[A] , A ↔ B ⊨ C[B] (siendo C[A] cualquier
    premisa con A)
    A, B ⊨ A ∧ B Regla de unión
    A∧B⊨A Regla de simplificación
    A⊨A∨B Regla de adición
    A → B, A ⊨ B Modus ponens
    A → B, ¬B ⊨ ¬A Modus tollens
    A → B, B → C ⊨ A → C Silogismo hipotético
    A ∨ B, ¬A ⊨ B Silogismo disyuntivo
    A → B, ¬A → B ⊨ B Ley de casos
    Eliminación del
    A↔B⊨A→B
    bicondicional
    Introducción del
    A → B, B → A ⊨ A ↔ B
    bicondicional
    A ∨ B, ¬A ∨ C ⊨ B ∨ C Regla de resolución

    1d Lógica de Proposiciones - reglas de inferencia.docx (2017-11-02T10:22:00) 1

    También podría gustarte