Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 129 vistas

    Regla de Inferencia

    Cargado por

    Josu Aguilar Martínez
    Una regla de inferencia toma premisas y devuelve una conclusión. Existen varias reglas como el Modus Ponens (si P entonces Q, P es verdad, luego Q es verdad), Modus Tollens (si P entonces Q, no Q, luego no P), y el silogismo hipotético (si P entonces Q, si Q entonces R, luego si P entonces R). Otras reglas incluyen la ley de adición, la contrapuesta, y la ley de simplificación.

    Copyright:

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

    Regla de Inferencia

    Cargado por

    Josu Aguilar Martínez
    129 vistas2 páginas
    Una regla de inferencia toma premisas y devuelve una conclusión. Existen varias reglas como el Modus Ponens (si P entonces Q, P es verdad, luego Q es verdad), Modus Tollens (si P entonces Q, no Q, luego no P), y el silogismo hipotético (si P entonces Q, si Q entonces R, luego si P entonces R). Otras reglas incluyen la ley de adición, la contrapuesta, y la ley de simplificación.

    Descripción original:

    El trabajo consta de marco teórico, ejemplos y fórmulas a cerca de la regla de inferencia.

    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?

    Una regla de inferencia toma premisas y devuelve una conclusión. Existen varias reglas como el Modus Ponens (si P entonces Q, P es verdad, luego Q es verdad), Modus Tollens (si P entonces Q, no Q, luego no P), y el silogismo hipotético (si P entonces Q, si Q entonces R, luego si P entonces R). Otras reglas incluyen la ley de adición, la contrapuesta, y la ley de simplificación.

    Copyright:

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

    Regla de Inferencia

    Cargado por

    Josu Aguilar Martínez
    Una regla de inferencia toma premisas y devuelve una conclusión. Existen varias reglas como el Modus Ponens (si P entonces Q, P es verdad, luego Q es verdad), Modus Tollens (si P entonces Q, no Q, luego no P), y el silogismo hipotético (si P entonces Q, si Q entonces R, luego si P entonces R). Otras reglas incluyen la ley de adición, la contrapuesta, y la ley de simplificación.

    Copyright:

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

    Regla de Inferencia

    Una regla de inferencia o regla de transformación es una forma lógica que consiste en una función que
    toma premisas, analiza su sintaxis, y devuelve una conclusión (o conclusiones).

    Clases de Regla de Inferencia

    Modus ponendo ponens

    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 como "P entonces Q; P se afirma siendo verdad, por lo que, por
    tanto, Q debe ser verdad."

    El modus ponens puede establecerse formalmente como:

    Donde la regla es que cada vez que una instancia de "P → Q" y "P" aparece por sí mismos en líneas de una
    prueba lógica, Q puede ser colocado válidamente en una línea posterior; además, la premisa de P y la
    implicación "disuelve", su único rastro siendo el símbolo Q que se mantiene para su uso posterior, por
    ejemplo, en una deducción más compleja.

    Modus tollendo tollens

    La regla de inferencia modus tollens, también conocida como la ley de la contraposición, valida la forma
    de inferencia implica y la contradictoria de , a la contradictoria de .

    La regla modus tollens se puede afirmar formalmente como:

    Donde significa "P implica Q", significa "no es el caso de que Q" (o en resumen "no Q").
    Entonces, cada vez " "y" " cada una parece por sí mismas como una línea de una prueba,
    " " se puede colocar válidamente en una línea posterior.

    Silogismo hipotético

    Es el nombre de una regla de inferencia válida (a veces abreviado SH y, a veces también llamado argumento
    cadena, regla de cadena, o el principio de transitividad de la implicación). El silogismo hipotético es una
    de las reglas de lógica clásica, que no siempre es aceptado en ciertos sistemas de lógica no clásica. La regla
    puede afirmar:

    Donde la regla es que cada vez que las instancias de " "y" " aparecen en las líneas
    de demostración, " " se puede colocar en una línea posterior.

    Ley de la Adición
    Dado un enunciado cualquiera, es posible expresarlo como una elección (disyunción) acompañado por
    cualquier otro enunciado.

    a ´´He comprado manzanas´´

    a˅b ´´He comprado manzanas o he comprado peras´´

    Contrapositiva

    También denominada contrapuesta o contrarrecíproca (por ser la recíproca de la inversa). Dada la


    proposición condicional p-->q, su contrapuesta o contrapositiva es la proposición ~q-->~p. La condicional
    y su contrapositiva son equivalentes en el sentido de que una es verdadera si y sólo si lo es la otra.

    Ley de Simplificación

    Si disponemos de un enunciado formado por dos miembros unidos por una conjunción, podemos hacer de
    los dos miembros dos enunciados afirmados por separado

    p˄q “Tengo una manzana y tengo una pera”

    p “Tengo una manzana”

    q ”Tengo una pera”

    También podría gustarte