Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 459 vistas

    Actividad N°3

    Cargado por

    Silvester Acevedo Taipe
    Este documento presenta varios ejercicios de lógica proposicional resueltos utilizando las propiedades de los conectivos lógicos. En el primer ejercicio, se demuestra la equivalencia lógica de varias proposiciones. En el segundo ejercicio, se prueba la equivalencia de tres proposiciones. En el tercer ejercicio, se demuestra una equivalencia utilizando la transposición. Los ejercicios siguientes implican transformar proposiciones para incluir sólo ciertos conectivos, simplificar expresiones y demostrar

    Copyright:

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

    Actividad N°3

    Cargado por

    Silvester Acevedo Taipe
    459 vistas5 páginas
    Este documento presenta varios ejercicios de lógica proposicional resueltos utilizando las propiedades de los conectivos lógicos. En el primer ejercicio, se demuestra la equivalencia lógica de varias proposiciones. En el segundo ejercicio, se prueba la equivalencia de tres proposiciones. En el tercer ejercicio, se demuestra una equivalencia utilizando la transposición. Los ejercicios siguientes implican transformar proposiciones para incluir sólo ciertos conectivos, simplificar expresiones y demostrar

    Título original

    actividad n°3

    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 varios ejercicios de lógica proposicional resueltos utilizando las propiedades de los conectivos lógicos. En el primer ejercicio, se demuestra la equivalencia lógica de varias proposiciones. En el segundo ejercicio, se prueba la equivalencia de tres proposiciones. En el tercer ejercicio, se demuestra una equivalencia utilizando la transposición. Los ejercicios siguientes implican transformar proposiciones para incluir sólo ciertos conectivos, simplificar expresiones y demostrar

    Copyright:

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

    Actividad N°3

    Cargado por

    Silvester Acevedo Taipe
    Este documento presenta varios ejercicios de lógica proposicional resueltos utilizando las propiedades de los conectivos lógicos. En el primer ejercicio, se demuestra la equivalencia lógica de varias proposiciones. En el segundo ejercicio, se prueba la equivalencia de tres proposiciones. En el tercer ejercicio, se demuestra una equivalencia utilizando la transposición. Los ejercicios siguientes implican transformar proposiciones para incluir sólo ciertos conectivos, simplificar expresiones y demostrar

    Copyright:

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

    EJERCICIOS PROPUESTOS N°3

    1. Determine si son equivalentes:


    a. [(p ∧ ∼q) v ∼ (q ∧ ∼p)] con [(p ⇒ q) ⇒ (q ⇒ p)]

    Resolución:

    Por propiedad de la condicional (⇒), se cumple: “p ⇒ q ≡ ∼p v q”

    [(p ∧ ∼q) v ∼ (q ∧ ∼p)] ≡ [(p ⇒ q) ⇒ (q ⇒ p)

    [∼ (p ∧ ∼q) ⇒ ∼ (q ∧ ∼p)] ≡ [(p ⇒ q) ⇒ (q ⇒ p)]

    [(∼p v q) ⇒ (∼ q v p)] ≡ [(p ⇒ q) ⇒ (q ⇒ p)]

    [(p ⇒ q) ⇒ (q ⇒ p)] ≡ [(p ⇒ q) ⇒ (q ⇒ p)]

    Respuesta: si son equivalentes

    b. (p ⇔ q) con (∼p ⇔ ∼q)

    Por propiedad de la Bicondicional (⇔), se cumple: (p ⇔ q) ≡ (p ∧ q) v (∼p ∧ ∼ q)

    (p ⇔ q) ≡ (∼p ⇔ ∼q)

    (p ∧ q) v (∼p ∧ ∼ q) ≡ (∼p ⇔ ∼q)

    ∼ (∼p v ∼q) v ∼ (p v q) ≡ (∼p ⇔ ∼q)

    Por propiedad de la condicional (⇒), se cumple: “p ⇒ q ≡ ∼p v q”

    ∼ [∼ (p ⇒ ∼q) ∧ (∼q ⇒ p)] ≡ (∼p ⇔ ∼q)

    Por propiedad de la Bicondicional (⇔), se cumple: (p ⇔ q) ≡ (p ⇒q) ∧ (q ⇒ p)

    ∼ (p ⇔ ∼q) ≡ (∼p ⇔ ∼q)

    Respuesta: si son equivalentes

    c. [p ⇒ (q v r)] con [(p⇒ q) v (q⇒ r)]

    Resolución:

    Por propiedad de la condicional (⇒), se cumple: “p ⇒ q ≡ ∼p v q”


    [p ⇒ (q v r)] ≡ [(p⇒ q) v (q⇒ r)]

    [p ⇒ (q v r)] ≡ [(∼ p v q) v (q v r)]

    Por Asociación:

    [p ⇒ (q v r)] ≡ [(∼ p) v (q v q) v r]

    [p ⇒ (q v r)] ≡ [(∼ p) v q v r]

    [p ⇒ (q v r)] ≡ [(∼ p) v (q v r)]

    [p ⇒ (q v r)] ≡ [p ⇒ (q v r)]

    Respuesta: si son equivalentes

    d. [p ⇒ (q ∧ r)] con [∼p v (q ∧ r)]

    Resolución:

    Por propiedad de la condicional (⇒), se cumple: “p ⇒ q ≡ ∼p v q”

    [p ⇒ (q ∧ r)] ≡ [∼p v (q ∧ r)]

    ∼p v (q ∧ r) ≡ [∼p v (q ∧ r)]

    Respuesta: si son equivalentes

    e. [∼ (p v q)] con (∼p v ∼q)

    Resolución:

    LEYES DE MORGAN: [∼ (p v q)] ≡ (∼p ∧∼q)

    ∼ (p ∧ ∼q) ≡ (∼p v ∼q)

    ∼ (p ∧ ∼q) ≡ ∼ (p ∧ ∼q)

    Respuesta: Si son equivalentes

    2. Probar que las tres proposiciones siguientes son equivalentes:

    a.- p ⇒ (q v r)

    b.- (p ∧ ∼q) ⇒ r
    c.- (p ⇒q) v (p ⇒ r)

    3. Probar que: ∼ p es equivalente con [(p v q) ⇒ (∼p ∧ q)] ∧ (p ⇒ q)


    Resolución:
    DE TRANSPOSICIÓN
    ∼ p ≡ [(p v q) ⇒ (∼p ∧ q)] ∧ (p ⇒ q)
    ∼ p ≡ [∼ (p v q) v (∼p ∧ q)] ∧ (∼q ⇒ ∼p)
    Por propiedad de la condicional (⇒), se cumple: “p ⇒ q ≡ ∼p v q”
    ∼ p≡ [∼ (p v q) v (∼p ∧ q)] ∧ (q v ∼p)
    Por Distribución:
    ∼ p ≡ [∼ (p v q) ∧ (q v ∼p)] v [(∼p ∧ q) ∧ (q v ∼p)]
    Por Asociación:
    ∼ p ≡ [(∼p∧ ∼q) ∧ (q v ∼p)] v [(∼p ∧ q) ∧ (q v ∼p)]
    ∼ p ≡ [∼p∧ [q ∧ (q v ∼p)]] v [∼p ∧ [q ∧ (q v ∼p)]]
    Por Absorción:
    ∼ p ≡ [∼p ∧ (q ∧ ∼p)] v (∼p ∧ q)
    ∼ p ≡ ∼p v (∼p ∧ q)
    ∼ p ≡ ∼p
    4. Transformar la proposición:

    p ⇒ ∼ (∼q ⇒r) en otra equivalente que contenga sólo conectivos "∧ " y "∼ “

    p ⇒ ∼ (∼q ⇒r)
    Por propiedad de la condicional (⇒), se cumple: “p ⇒ q ≡ ∼p v q”
    ∼ p v ∼ (∼q ⇒r)

    LEYES DE MORGAN: [∼ (p v q)] ≡ (∼p ∧ ∼q)

    ∼ [p ∧ (∼q ⇒r)]

    ∼ [p ∧ (q v r)]

    ∼ [p ∧ ∼ (∼q ∧∼ r)]

    5. Simplifique las siguientes proposiciones usando álgebra lógica:


    a. p ⇒ [∼q ⇒ (p v q)]
    Por propiedad de la condicional (⇒), se cumple: “p ⇒ q ≡ ∼p v q”
    p ⇒ [q v (p v q)]
    p ⇒ (q v p)
    ∼ p v (q v p)
    Por Complemento:
    ∼ p v (q v p)
    (∼ p v p) v q
    Vvq
    V
    b. (∼q ⇔ r) v ∼r
    Por propiedad de la Bicondicional (⇔), se cumple: (p ⇔ q) ≡ (p∧ q) v (∼p∧ ∼q)
    [(q∧ r) v (∼q∧ ∼r)] v ∼r
    Por Asociación:
    (q∧ r) v [(∼q∧ ∼r) v ∼r]
    Por Absorción:
    (q∧ r) v ∼ r
    ∼rvq
    c. ∼ [(∼p ⇒ q) ⇔ ∼ (p v ∼q)]

    Por propiedad de la condicional (⇒), se cumple: “p ⇒ q ≡ ∼p v q”

    ∼ [(p v q) ⇔ ∼ (p v ∼q)]

    Por propiedad de la Bicondicional (⇔), se cumple: (p ⇔ q) ≡ (p∧ q) v (∼p∧ ∼q)

    ∼ [[(p v q) ∧ ∼ (p v ∼q)]] v [∼ (p v q) ∧ (p v ∼q)]

    Por Absorción:
    ∼ [[(∼ p ∧ q) ∧ ∼q] v [∼ p ∧ (q ∧ p)]
    ∼ [(F ∧ ∼ p) v (F ∧ p)]
    ∼(F) v (F)
    V v (F) ≡ V
    d. p ∧ [(q ∧ ∼p) ⇒ (p v ∼q)]
    Por propiedad de la condicional (⇒), se cumple: “p ⇒ q ≡ ∼p v q”

    p ∧ [∼ (q ∧ ∼p) v (p v ∼q)]

    Por Asociación:

    p ∧ [[∼ (q ∧ ∼p) v p] v (∼q)]

    Por Absorción:

    p ∧ [[(p v ∼ q) v (∼q)]]

    p ∧ (p v ∼ q) ≡ p

    e. a v [(b ⇒ ∼b) ∧ (a ⇒ ∼a)]


    Por propiedad de la condicional (⇒), se cumple: “p ⇒ q ≡ ∼p v q”
    a v [(∼b v ∼b) ∧ (∼a v ∼a)]
    IDEMPOTENCIA
    a v [(∼b) ∧ (∼a)]

    Por Absorción:

    a v ∼b

    6. Demuestre las siguientes equivalencias utilizando las propiedades o teoremas de lógica.

    a.- [[(∼q v r) ⇒ q] (p ∧ r)] ⇔ [(∼q v p) ∧ (∼q v r)]

    b.- [(p ⇒ q) ∧ (∼p ⇒ q)] ⇔ q

    c.- [(p ⇒ q) ∧ (p ⇒ r)] ⇔ [p ⇒ (q ∧ r)]

    d.- [(p q) ⇒ (p ∧ q)] ⇔ (p ⇔ q)

    f.- [(p ⇔ ∼q) ∧ (q ∧ Np)] ⇔N (q ⇒ p)

    g.- [(p ∧ ∼q) v (p ∧ r)] ⇒ (q ∧ r) es la negación de: ∼ (p ⇒ q)

    h.- (p ⇒q) ⇔ [ (∼q ⇒ ∼p)

    i.- [(∼ (p ∧ q)) ⇒ r] ⇔ [ ∼ [(p ⇒ ∼q) ∧ ∼r]

    También podría gustarte