Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 55 vistas

    Luis Guerra. Tarea. S4

    Cargado por

    Luis Alberto Guerra Reyes
    Este documento presenta cuatro problemas lógicos que involucran proposiciones y reglas de inferencia. El documento demuestra que ciertas conclusiones son válidas para cada conjunto de proposiciones utilizando reglas como modus ponens, doble negación y tollendo tollens. Finalmente, el documento enumera varias reglas de inferencia comúnmente utilizadas en lógica matemática.

    Copyright:

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

    Luis Guerra. Tarea. S4

    Cargado por

    Luis Alberto Guerra Reyes
    55 vistas5 páginas
    Este documento presenta cuatro problemas lógicos que involucran proposiciones y reglas de inferencia. El documento demuestra que ciertas conclusiones son válidas para cada conjunto de proposiciones utilizando reglas como modus ponens, doble negación y tollendo tollens. Finalmente, el documento enumera varias reglas de inferencia comúnmente utilizadas en lógica matemática.

    Descripción original:

    Iacc Automatizacion y control

    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?

    Este documento presenta cuatro problemas lógicos que involucran proposiciones y reglas de inferencia. El documento demuestra que ciertas conclusiones son válidas para cada conjunto de proposiciones utilizando reglas como modus ponens, doble negación y tollendo tollens. Finalmente, el documento enumera varias reglas de inferencia comúnmente utilizadas en lógica matemática.

    Copyright:

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

    Luis Guerra. Tarea. S4

    Cargado por

    Luis Alberto Guerra Reyes
    Este documento presenta cuatro problemas lógicos que involucran proposiciones y reglas de inferencia. El documento demuestra que ciertas conclusiones son válidas para cada conjunto de proposiciones utilizando reglas como modus ponens, doble negación y tollendo tollens. Finalmente, el documento enumera varias reglas de inferencia comúnmente utilizadas en lógica matemática.

    Copyright:

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

    LÓGICA MATEMÁTICA Y DIGITAL

    SEMANA 4

    Luis Guerra Reyes


    22/11/2021
    DESARROLLO
    1. Teniendo en cuenta el siguiente enunciado, represente el mismo y determine mediante el uso de
    las reglas de inferencia si la conclusión planteada es válida (3pts).

    Si Juan no estudia matemáticas entonces no aprueba, Si Juan no aprueba pierde el semestre; por lo tanto,
    si Juan no estudia matemáticas entonces perderá el ciclo.

    p= Si Juan no estudia matemáticas

    q=Juan no aprueba

    r=Juan pierde el semestre

    (1) ¬p→¬q (p)

    (2) ¬q→r (p)

    (3) ¬p→r (c)

    Esta fórmula comprende a la regla transitiva ¬p→r es una conclusión válida

    2. Utilizando las reglas de inferencia, demostrar que “q” es una conclusión válida para las siguientes
    proposiciones:

    • r↔(s Λ q) (p)

    • ¬[¬(s Λ q) V r] (p)

    (1) r↔(sΛq) (p)

    (2) ¬[¬(sΛq)Vr] (p)

    (3) ¬¬(sΛq) Λ¬r Regla de Morgan (2)

    (4) ¬¬(sΛq) Regla de simplificación (3)

    (5) (sΛq) Regla de doble negación (4)

    (6) q Es una conclusión valida Regla de simplificación.(5)


    3. Utilizando las reglas de inferencia, demostrar que H Λ T es una conclusión válida para las siguientes
    proposiciones: (3pts).

    • ¬(¬ P V ¬ Q) (p)

    • P → (H Λ T) (p)

    • Q → (H Λ T) (p)

    (1) ¬(¬PV¬Q) (p)

    (2) P→(HΛT) (p)

    (3) Q→(HΛT) (p)

    (4) ¬¬PΛ¬¬Q Regla de Morgan (1)

    (5) PΛQ Regla de doble negación (4)

    (6) P Regla de simplificación (5)

    (7) (HΛT) Es una conclusión valida Regla de Modus Ponens (2, 6)

    (8) Q Regla de simplificación (5)

    (9) (HΛT) Es una conclusión valida Regla de Modus Ponens (3, 8)

    4. Utilizando las reglas de inferencia, demostrar que P V N, es una conclusión válida para las siguientes
    proposiciones: (3pts).

    • N→ ¬Q (p)

    • ¬¬Q (p)
    • ¬(P V N)→ N (p)

    (1) N→¬Q (p)

    (2) ¬¬Q (p)

    (3) ¬(PVN) →N (p)

    (4) ¬N Regla de Tollendo Tollens (2, 1)

    (5) ¬¬(PVN) Regla de Tollendo Tollens (4, 3)

    (6) (PVN) Es una conclusión valida Regla de doble negación (5)

    CONCLUSIÓN
    Las reglas de inferencia o reglas 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. Las reglas son:

    -Regla de Modus Ponens

    -Regla de doble negación

    -Regla del Tollendo Tollens

    -Regla de adjunción

    -Regla de simplificación

    -Regla de Tollendo Ponens

    -Regla transitiva

    -Regla conmutativa

    -Regla de Morgan

    -Regla bicondicional

    -Regla de dilema

    -Regla de simplificación y disyuntiva


    -Regla condicional contrarrecíproca

    También podría gustarte