Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 306 vistas

    Modus Ponendo Ponens y Modus Tollendo Tollens

    Cargado por

    Francisco Badillo Cantillo
    El documento explica los principios lógicos del modus ponens y el modus tollens. El modus ponens establece que si la primera premisa es un condicional y la segunda afirma el antecedente, entonces se puede afirmar el consecuente. El modus tollens establece que si la primera premisa es un condicional y la segunda niega el consecuente, entonces se puede negar el antecedente. Se proporcionan ejemplos para ilustrar cada principio.

    Copyright:

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

    Modus Ponendo Ponens y Modus Tollendo Tollens

    Cargado por

    Francisco Badillo Cantillo
    306 vistas2 páginas
    El documento explica los principios lógicos del modus ponens y el modus tollens. El modus ponens establece que si la primera premisa es un condicional y la segunda afirma el antecedente, entonces se puede afirmar el consecuente. El modus tollens establece que si la primera premisa es un condicional y la segunda niega el consecuente, entonces se puede negar el antecedente. Se proporcionan ejemplos para ilustrar cada principio.

    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?

    El documento explica los principios lógicos del modus ponens y el modus tollens. El modus ponens establece que si la primera premisa es un condicional y la segunda afirma el antecedente, entonces se puede afirmar el consecuente. El modus tollens establece que si la primera premisa es un condicional y la segunda niega el consecuente, entonces se puede negar el antecedente. Se proporcionan ejemplos para ilustrar cada principio.

    Copyright:

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

    Modus Ponendo Ponens y Modus Tollendo Tollens

    Cargado por

    Francisco Badillo Cantillo
    El documento explica los principios lógicos del modus ponens y el modus tollens. El modus ponens establece que si la primera premisa es un condicional y la segunda afirma el antecedente, entonces se puede afirmar el consecuente. El modus tollens establece que si la primera premisa es un condicional y la segunda niega el consecuente, entonces se puede negar el antecedente. Se proporcionan ejemplos para ilustrar cada principio.

    Copyright:

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

    MODUS PONENDO PONENS

    En lógica proposicional, modus ponendo ponens (en latín significa "la forma en
    que se afirma afirmando", generalmente abreviado MP o modus ponens) o
    eliminación del implica es una forma simple de argumento válido y regla de
    inferencia. Se puede resumir de la siguiente manera: en la primera premisa se
    plantea un condicional, en la segunda se afirma el antecedente y, como
    conclusión, se afirma el consecuente.

    El modus ponens puede establecerse de la siguiente forma:


    p→q
    p
    ______
    q

    Otra forma de escribir esta ley de inferencia es: (p → q) ^ p; esto es igual a Si juan
    estudia, entonces aprende y ocurre que estudia.

    Observa que esta es la conjunción de las premisas. Si el razonamiento es válido,


    la conjunción de las premisas siempre implicará la conclusión, luego:
    [(p → q) ^ p] → q; esto es igual Si juan estudia, entonces aprende y ocurre que
    estudia luego aprende.

    En conclusión, esta es la representación del MPP: [(p → q) ^ p] → q

    Ejemplo 1:

    p→q Si esta soleado, entonces es de día


    p Si esta soleado
    ______
    q Entonces es de día

    De la otra forma [(p → q) ^ p] → q seria:


    Si esta soleado, entonces es de día y ocurre esta soleado luego es de día

    Ejemplo 2:

    p→q Si tengo dinero, entonces compro una bicicleta.


    p Si Tengo dinero
    ______
    q Entonces Compro una bicicleta

    De la otra forma [(p → q) ^ p] → q seria:


    Si tengo dinero, entonces compro una bicicleta y ocurre que tengo dinero luego
    compro una bicicleta.
    MODUS TOLLENDO TOLLENS

    En lógica proposicional, el “modus tollens” (o modus tollendo tollens o también


    negación del consecuente) (en latín significa "el camino que niega al negar") es
    una forma de argumento válida y una regla de inferencia; generalmente abreviado
    MTT o MT.

    Tollendo tollens significa “negando, niego”, y se refiere a una propiedad inversa de


    los condicionales; esta dad de la siguiente manera

    p→q
    ¬q
    ______
    ¬p

    Por ejemplo:

    p→q se lee Si Juan estudia, entonces aprende


    ¬q se da que Juan no aprende
    _________ esta línea se lee: en conclusión
    ¬p se lee Juan no estudia

    Simbólicamente se expresa de la siguiente manera: [(p → q) ^ ¬q] → ¬p

    Ejemplo 1:

    p→q Si esta soleado, entonces es de día


    ¬q Si no es de día
    ______
    ¬p Entonces no está soleado

    De la otra forma [(p → q) ^ ¬q] → ¬p seria:

    Si esta soleado, entonces es de día y ocurre que es día luego esta soleado.

    Ejemplo 2:

    p→q Si tengo dinero, entonces compro una bicicleta.


    ¬q Si no compro una bicicleta.
    ______
    ¬p Entonces no tengo dinero

    De la otra forma [(p → q) ^ p] → q seria:


    Si tengo dinero, entonces compro una bicicleta y ocurre no compro una bicicleta
    luego no tengo dinero.

    También podría gustarte