Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Algebra Moderna Lazo Sebastian-34 PDF

    Cargado por

    Polícrates Barbanegra
    51 vistas1 página
    Este documento describe las reglas de inferencia lógica, que son formas correctas y universales de razonamiento. Explica que una conclusión Q es consecuencia de un conjunto de premisas P1, P2, etc., si la implicación de las premisas implica la conclusión es una tautología. Luego enumera tres reglas de inferencia básicas: Modus Ponendo Ponens, que permite inferir el consecuente si se afirma el antecedente de una implicación; Modus Tollando Tollens, que permite negar el antecedente si se niega el consec

    Descripción original:

    Título original

    Algebra Moderna Lazo Sebastian-34.pdf

    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 lógica, que son formas correctas y universales de razonamiento. Explica que una conclusión Q es consecuencia de un conjunto de premisas P1, P2, etc., si la implicación de las premisas implica la conclusión es una tautología. Luego enumera tres reglas de inferencia básicas: Modus Ponendo Ponens, que permite inferir el consecuente si se afirma el antecedente de una implicación; Modus Tollando Tollens, que permite negar el antecedente si se niega el consec

    Copyright:

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

    Algebra Moderna Lazo Sebastian-34 PDF

    Cargado por

    Polícrates Barbanegra
    Este documento describe las reglas de inferencia lógica, que son formas correctas y universales de razonamiento. Explica que una conclusión Q es consecuencia de un conjunto de premisas P1, P2, etc., si la implicación de las premisas implica la conclusión es una tautología. Luego enumera tres reglas de inferencia básicas: Modus Ponendo Ponens, que permite inferir el consecuente si se afirma el antecedente de una implicación; Modus Tollando Tollens, que permite negar el antecedente si se niega el consec

    Copyright:

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

    LOGICA 25

    Cuando Q es consecuencia (c remlsas Pt, P2,..., Pn, se escribe:

    premisas

    conclusión

    Esto significa que la siguiente implicación es una tautología.

    (PrnPzA...AP") + Q

    7.1 REGLAS DE INFERENCIA

    Se le llaman reglas de inferencia a todo argumento universalmente correcto (o tormas,


    correctas de razonamiento) que representan métodos generales de razonamiento válido.

    Las siguientes son formas correctas de razonamiento:

    l) MODUS PONENDO PONENS (PP): Es un método (Modus), que ahrma (ponens)


    el consecuente, afirmando (ponendo) el antecedente de la implicación
    p +q
    p

    2) MODUS TOLLENDO TOLLENS (TT): Es el método (Modus), que negando


    (tollendo) el consecuente, se puede negar (Tollens) el antecedente de la implicación.
    p+ q

    -q
    -p
    3) MODUS TOLLENDO PONENS (TP): Es el método (modus), que negando
    (tollendo) un miembro de una disyunción se afirma (ponens) el otro miembro.

    También podría gustarte