Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 317 vistas

    Ejercicios de Leyes Lógicas

    Cargado por

    Anahemilia Huaman Nepo
    El documento presenta 3 ejercicios de lógica proposicional que involucran leyes lógicas como la ley condicional, de Morgan, doble negación, asociativa, distributiva, absorción total y complemento. Cada ejercicio comienza con una expresión lógica y mediante la aplicación secuencial de las leyes lógicas, se simplifica la expresión hasta obtener un resultado final de verdadero o falso.

    Copyright:

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

    Ejercicios de Leyes Lógicas

    Cargado por

    Anahemilia Huaman Nepo
    317 vistas1 página
    El documento presenta 3 ejercicios de lógica proposicional que involucran leyes lógicas como la ley condicional, de Morgan, doble negación, asociativa, distributiva, absorción total y complemento. Cada ejercicio comienza con una expresión lógica y mediante la aplicación secuencial de las leyes lógicas, se simplifica la expresión hasta obtener un resultado final de verdadero o falso.

    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 presenta 3 ejercicios de lógica proposicional que involucran leyes lógicas como la ley condicional, de Morgan, doble negación, asociativa, distributiva, absorción total y complemento. Cada ejercicio comienza con una expresión lógica y mediante la aplicación secuencial de las leyes lógicas, se simplifica la expresión hasta obtener un resultado final de verdadero o falso.

    Copyright:

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

    Ejercicios de Leyes Lógicas

    Cargado por

    Anahemilia Huaman Nepo
    El documento presenta 3 ejercicios de lógica proposicional que involucran leyes lógicas como la ley condicional, de Morgan, doble negación, asociativa, distributiva, absorción total y complemento. Cada ejercicio comienza con una expresión lógica y mediante la aplicación secuencial de las leyes lógicas, se simplifica la expresión hasta obtener un resultado final de verdadero o falso.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    Está en la página 1de 1

    Ejercicios de leyes lógicas:

    EJERCICIO NÚMERO 14

    (¬p ∧ q) ⇒ (r ∧ ¬s)] ∧ ¬q Ley condicional ≡ p ⇒ q ≡ ¬p ∨ q


    [¬(¬p ∧ q) ∨ (r ∧ ¬s)] ∧ ¬q Ley de Morgan ≡ ¬(p ∧ q) ≡ ¬p ∨ ¬q
    [¬(¬p) ∨ ¬q ∨ (r ∧ ¬s)] ∧ ¬q Ley de la doble negociación ≡ ¬(¬p) ≡ p
    [p ∨ ¬q ∨ (r ∧ ¬s)] ∧ ¬q Ley asociativa ≡ p ∨ q ∨ r ≡ (p ∨ q) ∨ r ≡ p ∨ (q ∨
    [p ∨ {¬q ∨ (r ∧ ¬s)}] ∧ ¬q r)
    [p ∨ (¬q ∨ r) ∧ (¬q ∨ ¬s)] ∧ ¬q Ley distributiva ≡ p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
    [p ∨ {(¬q ∨ r) ∧ ¬q} ∨ ¬s] ∧ ¬q Ley asociativa ≡ p ∨ q ∨ r ≡ (p ∨ q) ∨ r ≡ p ∨ (q ∨
    [p ∨ ¬q ∨ ¬s] ∧ ¬q r)
    p ∨ (¬q ∨ ¬s) ∧ ¬q Ley de absorción total ≡ (p ∨ r) ∧ p ≡ p
    p ∨ ¬q Ley asociativa ≡ p ∨ q ∨ r ≡ (p ∨ q) ∨ r ≡ p ∨ (q ∨
    r)
    Ley de absorción total ≡ (p ∨ r) ∧ p ≡ p
    Resultado

    EJERCICIO NÚMERO 32

    ¬(p ⇔ q) ≡ [(¬p) ⇔ q)] Ley bicondicional


    ¬ [(p ⇒ q) ∧ (q ⇒ p) ≡ [(¬p ⇒ q) ∧ (q ⇒ ¬p)] Ley de Morgan
    ¬(p ⇒ q) ∨ ¬(q ⇒ p) ≡ [(¬p ⇒ q) ∧ (q ⇒ ¬p)] Ley condicional
    ¬(¬p ∨ q) ∨ ¬(¬q ∨ p) ≡ [(¬(¬p) ∨ q) ∧ (¬q ∨ ¬p)] Ley de Morgan≡
    ¬(¬p) ∧ ¬q ∨ ¬(¬q) ∧ ¬p ≡ [(¬(¬p) ∨ q) ∧ (¬q ∨ ¬p)] Ley de la doble negación
    p ∧ (¬q ∨ q) ∧ ¬p ≡ p ∨ (q ∧ ¬q) ∨ ¬p Ley asociativa
    [p ∧ (¬q ∨ q)] ∧ ¬p ≡ [p ∨ (q ∧ ¬q)] ∨ ¬p Ley conmutativa
    [p ∧ (q ∨ ¬q)] ∧ ¬p ≡ [p ∨ (q ∧ ¬q)] ∨ ¬p Ley de complemento
    (p ∧ V) ∧ ¬p ≡ (p ∨ F) ∨ ¬p Ley de identidad
    p ∧ ¬p ≡ p ∨ ¬p Ley de complemento
    F ≅ V FALACIA

    EJERCICIO NÚMERO 35

    ¬[(¬p) ⇔ q] ≡ (p ⇔ q) Ley bicondicional


    ¬[(¬p ⇒ q) ∧ (q ⇒ ¬p)] ≡ (p ⇒ q) ∧ (q ⇒ p) Ley de Morgan
    ¬(¬p ⇒ q) ∨ ¬(q ⇒ ¬p) ≡ (p ⇒ q) ∧ (q ⇒ p) Ley condicional
    ¬[¬(¬p) ∨ q] ∨ ¬(¬q ∨ ¬p) ≡ ¬p ∨ q ∧ ¬q ∨ p Ley de Morgan
    ¬(¬(¬p)) ∧ ¬q ∨ ¬(¬q) ∧ ≡ ¬p ∨ q ∧ ¬q ∨ p Ley de negación
    ¬(¬p) ≡ ¬p ∨ (q ∧ ¬q) ∨ p Ley conmutativa
    ¬p ∧ (¬q ∨ q) ∧ p ≡ ¬p ∨ (q ∧ ¬q) ∨ p Ley de complemento
    ¬p ∧ (q ∨ ¬q) ∧ p ≡ ¬p ∨ F ∨ p Ley de asociativa
    ¬p ∧ V ∧ p ≡ ¬p ∨ (F ∨ p) Ley conmutativa
    ¬p ∧ (V ∧ p) ≡ ¬p ∨ p Ley conmutativa
    ¬p ∧ p ≡ p ∨ ¬p Ley de complemento
    p ∧ ¬p ≅ V FALACIA
    F

    También podría gustarte