Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 84 vistas

    5 - El Método Indirecto

    Cargado por

    Nidia Flores
    El documento explica el método indirecto para determinar si una fórmula lógica proposicional es una tautología o una contradicción sin usar tablas de verdad. El método implica asumir lo contrario de lo que se quiere demostrar y derivar una contradicción, lo que muestra que la asunción inicial es falsa. Se explican dos casos dependiendo del principal operador lógico de la fórmula.

    Copyright:

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

    5 - El Método Indirecto

    Cargado por

    Nidia Flores
    84 vistas9 páginas
    El documento explica el método indirecto para determinar si una fórmula lógica proposicional es una tautología o una contradicción sin usar tablas de verdad. El método implica asumir lo contrario de lo que se quiere demostrar y derivar una contradicción, lo que muestra que la asunción inicial es falsa. Se explican dos casos dependiendo del principal operador lógico de la fórmula.

    Título original

    5 - EL MÉTODO INDIRECTO

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PPTX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    El documento explica el método indirecto para determinar si una fórmula lógica proposicional es una tautología o una contradicción sin usar tablas de verdad. El método implica asumir lo contrario de lo que se quiere demostrar y derivar una contradicción, lo que muestra que la asunción inicial es falsa. Se explican dos casos dependiendo del principal operador lógico de la fórmula.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    84 vistas9 páginas

    5 - El Método Indirecto

    Cargado por

    Nidia Flores
    El documento explica el método indirecto para determinar si una fórmula lógica proposicional es una tautología o una contradicción sin usar tablas de verdad. El método implica asumir lo contrario de lo que se quiere demostrar y derivar una contradicción, lo que muestra que la asunción inicial es falsa. Se explican dos casos dependiendo del principal operador lógico de la fórmula.

    Copyright:

    © All Rights Reserved
    Descargue como PPTX, PDF, TXT o lea en línea desde Scribd
    Descargar como pptx, pdf o txt
    de 9

    EL MÉTODO INDIRECTO

    PROFESOR: MIGUEL ANGEL MERMA MORA


    ¿Qué ocurriría si esta fórmula La fórmula sería
    NO fuera FALSA en ningún NECESARIAMENTE
    ¿Quéarreglo de sisu matriz principal?
    ocurriría una TAUTOLOGÍA.
    esta fórmula fuera
    VERDADERA en por    
    lo menos un
    arreglo y FALSA en
    por lo menos otro
    𝟏
       
    arreglo de
    matriz principal?
    su

       
    𝐅?
    𝐕
    𝟐 𝐅?
    𝐕
    𝟑 𝐅
    𝐕
       

    ?
       

    La fórmula sería
    𝟒 𝐕?
    𝐅
    NECESARIAMENTE
    una CONTINGENCIA.
    ¿Qué ocurriría si esta fórmula NO La fórmula sería
    fuera VERDADERA en ningún NECESARIAMENTE una
    arreglo de su matriz principal? CONTRADICCIÓN.
    →
    Si asumir una hipótesis ( ) permite deducir
    una contradicción, entonces de eso se
    deduce que hay que negar dicha hipótesis.
    →
    ¿𝐇 → ( 𝐏 ∧¬𝐏 ) ¿ → ¬𝐇
    MÉTODO INDIRECTO: Es un método que
    sirve para determinar si ciertas
    fórmulas de lógica proposicional son
    TAUTOLOGÍAS o CONTRADICCIONES sin
    emplear las tablas de verdad.
    CASO #1
    Cuando se tenga una fórmula cuyo operador de
    mayor jerarquía sea el condicional () o la disyunción
    inclusiva (), nos preguntaremos si la fórmula puede
    ser FALSA en algún arreglo de su matriz principal. Si
    al asumir por hipótesis que la fórmula es FALSA en
    algún arreglo de su matriz principal, deducimos una
    CONTRADICCIÓN, habiendo razonado siempre de
    manera NECESARIA, entonces deduciremos que la
    fórmula NO puede ser FALSA en ningún arreglo de su
    matriz principal. Por lo tanto, la fórmula es una
    TAUTOLOGÍA.
    CASO #2
    Cuando se tenga una fórmula cuyo operador de
    mayor jerarquía sea la conjunción (), nos
    preguntaremos si la fórmula puede ser VERDADERA
    en algún arreglo de su matriz principal. Si al asumir
    por hipótesis que la fórmula es VERDADERA en algún
    arreglo de su matriz principal, deducimos una
    CONTRADICCIÓN, habiendo razonado siempre de
    manera NECESARIA, entonces deduciremos que la
    fórmula NO puede ser VERDADERA en ningún arreglo
    de su matriz principal. Por lo tanto, la fórmula es una
    CONTRADICCIÓN.
    NOTA
    IMPORTANTE
    Razonar de manera NECESARIA significa que en
    nuestro análisis de una fórmula nunca
    consideraremos un operador que ofrezca
    muchas posibilidades para establecer su verdad
    o falsedad. Solo consideraremos aquellos
    operadores que ofrezcan una única posibilidad
    para establecer su verdad o falsedad.
    NIVEL 1
    PRACTICAR CON LAS SIGUIENTES
    FÓRMULAS:

    2.
    3 .    ¿
    4 .    𝐏 ∨[(𝐐∧ ¬𝐏)∨¬𝐐]
    5.
    6.
    NIVEL 2
    PRACTICAR CON LAS SIGUIENTES
    FÓRMULAS:
    1.

    3 .    [(𝐗 → 𝐘)∧ ( 𝐘 → 𝐙 ) ]→ ( 𝐗 →𝐙 )
    4 .    {[(𝐗 → 𝐘)∧ ( 𝐙 → 𝐖 )]∧ ( 𝐗 ∨𝐙 ) }→ ( 𝐘 ∨ 𝐖 )
    5 .    {[(𝐗 ∧¬ 𝐘)∨ ( ¬ 𝐖 ∧𝐙 )]∨ ( 𝐘 ∧ 𝐖 ) }∨ ( ¬ 𝐗 ∨¬𝐙 )
    6.

    También podría gustarte