Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 357 vistas

    Modus Tollendo Ponens

    Cargado por

    YezsiiGuamàn
    Las reglas de inferencia establecen relaciones entre premisas para sacar una conclusión válida. Algunas reglas comunes son el modus ponens, modus tollendo ponens y los silogismos. El modus tollendo ponens concluye que si se niega uno de los términos de una disyunción, el otro término debe ser cierto.

    Copyright:

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

    Modus Tollendo Ponens

    Cargado por

    YezsiiGuamàn
    357 vistas3 páginas
    Las reglas de inferencia establecen relaciones entre premisas para sacar una conclusión válida. Algunas reglas comunes son el modus ponens, modus tollendo ponens y los silogismos. El modus tollendo ponens concluye que si se niega uno de los términos de una disyunción, el otro término debe ser cierto.

    Descripción original:

    modus tollendo Pones

    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?

    Las reglas de inferencia establecen relaciones entre premisas para sacar una conclusión válida. Algunas reglas comunes son el modus ponens, modus tollendo ponens y los silogismos. El modus tollendo ponens concluye que si se niega uno de los términos de una disyunción, el otro término debe ser cierto.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    357 vistas3 páginas

    Modus Tollendo Ponens

    Cargado por

    YezsiiGuamàn
    Las reglas de inferencia establecen relaciones entre premisas para sacar una conclusión válida. Algunas reglas comunes son el modus ponens, modus tollendo ponens y los silogismos. El modus tollendo ponens concluye que si se niega uno de los términos de una disyunción, el otro término debe ser cierto.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    de 3

    REGLAS DE LA INFERENCIAL

    Las reglas de inferencia son esquemas para construir inferencias vlidas. Se establecen relaciones
    sintcticas entre un conjunto de frmulas o premisas para sacar una conclusin y una asercin
    llamada conclusin.

    En lgica proporcional alguna de las reglas son:

    Modus ponens

    Modus tollendo

    Silogismo hipottico

    Silogismo disyuntivo

    Modus Tollendo Ponens.

    Modus Tollendo Ponens. La regla anteriormente sugerida es la que se denomina modus tollendo
    ponens. Una vez ms, el nombre latino dice algo acerca de la regla. Dice que negando (tollendo)
    un miembro de una disyuncin se afirma (ponens) el otro miembro.

    Simblicamente el modus tollendo ponens se puede expresar.

    La abreviatura para modus tollendo ponens es TP

    Aadiendo parntesis, modus tollendo ponens se puede escribir.


    MODUS TOLLENDO PONENS (TP)

    La disyuncin que se simboliza con el operador V representa una


    eleccin entre dos enunciados. Ahora bien en esa eleccin forma parte de
    las posibilidades escoger ambos enunciados es decir la verdad de ambos
    enunciados no es incompatible si bien ambos no pueden ser falsos.

    A partir de lo anterior se deduce la siguiente regla


    denominada tollendo ponens (negando afirmo): si uno de los miembros de una
    disyuncin es negado el otro miembro queda automticamente afirmado ya
    que uno de los trminos de la eleccin ha sido descartado.

    pVq He ido al cine o me he ido de compras"

    q ho he ido de compras"
    _

    p Por tanto he ido al cine"

    Supngase que se tiene como premisa la disjuncin

    O esta sustancia contiene hidrgeno o contiene oxgeno

    La segunda premisa dice:


    Esta sustancia no contiene hidrogeno.

    Por medio del modus tollendo ponens se puede concluir:

    Esta sustancia contiene oxgeno.

    Para aclarar la forma de esta inferencia, se puede simbolizar el ejemplo anterior. Sea

    P = Esta sustancia contiene hidrgeno

    = Esta sustancia contiene oxgeno

    La demostracin de la conclusin es:

    (1) PVQ P
    (2) -iP P
    (3) Q TP 1,2

    Obsrvese que una premisa (la negacin) niega una parte de la disyuncin. La conclusin afirma
    precisamente la otra parte. No importa cul sea el miembro negado, el derecho o el izquierdo. La
    disyuncin dice que por lo menos un miembro se cumple; por tanto, si se encuentra que uno de
    los miembros no se cumple, se sabe que el otro ha de cumplirse

    Una disyuncin en Lgica significa que por lo menos una de las dos proposiciones es cierta y quiz
    ambas. Supuesto que se tiene una premisa que dice que un miembro de la disyuncin es cierto,
    se puede concluir algo sobre el otro miembro? Por ejemplo, considrese la proposicin anterior
    sobre oxgeno e hidrgeno. Si la segunda premisa hubiera sido La sustancia tiene hidrgeno,
    qu se podra concluir del oxgeno, en caso de poder concluir algo? No se podra concluir nada.

    http://webcache.googleusercontent.com/search?q=cache:http://www.dfisica.ugto.mx/~msabido/
    logica/2_a.pdf

    http://www.filosofiafacil.com/Tema%204.%20La%20logica%20formal.pdf

    http://es.slideshare.net/isidorogg/modus-ponendo-ponens

    También podría gustarte