Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 3K vistas

    Ejercicios Resueltos - Equivalencias Lógicas

    Cargado por

    Oscar Alarcon Flores
    Este documento contiene las soluciones a 5 problemas de lógica proposicional. En la primera pregunta, se resume que la fórmula A ∨ (B ∧ C) es equivalente a A / (B/C). En la segunda, que la fórmula -(A ↓ -B) es equivalente a B → A. Y en la tercera, que la fórmula [(A → B) → C] es equivalente a (A / -B) / -C cuando se expresa solo con operadores de Sheffer o Nicod.

    Copyright:

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

    Ejercicios Resueltos - Equivalencias Lógicas

    Cargado por

    Oscar Alarcon Flores
    3K vistas3 páginas
    Este documento contiene las soluciones a 5 problemas de lógica proposicional. En la primera pregunta, se resume que la fórmula A ∨ (B ∧ C) es equivalente a A / (B/C). En la segunda, que la fórmula -(A ↓ -B) es equivalente a B → A. Y en la tercera, que la fórmula [(A → B) → C] es equivalente a (A / -B) / -C cuando se expresa solo con operadores de Sheffer o Nicod.

    Descripción original:

    EQUIVALENCIAS LÓGICAS

    Título original

    Ejercicios Resueltos - Equivalencias lógicas

    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 contiene las soluciones a 5 problemas de lógica proposicional. En la primera pregunta, se resume que la fórmula A ∨ (B ∧ C) es equivalente a A / (B/C). En la segunda, que la fórmula -(A ↓ -B) es equivalente a B → A. Y en la tercera, que la fórmula [(A → B) → C] es equivalente a (A / -B) / -C cuando se expresa solo con operadores de Sheffer o Nicod.

    Copyright:

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

    Ejercicios Resueltos - Equivalencias Lógicas

    Cargado por

    Oscar Alarcon Flores
    Este documento contiene las soluciones a 5 problemas de lógica proposicional. En la primera pregunta, se resume que la fórmula A ∨ (B ∧ C) es equivalente a A / (B/C). En la segunda, que la fórmula -(A ↓ -B) es equivalente a B → A. Y en la tercera, que la fórmula [(A → B) → C] es equivalente a (A / -B) / -C cuando se expresa solo con operadores de Sheffer o Nicod.

    Copyright:

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

    Solucionario:

    01. La fórmula lógica: A ∨ (B ∧ C) equivale por D.M. a:

    a) - A/(B/C) b) - A ∧ (B∨C) c) A ∧ (-B ∧ -C) d) - A ↓


    (B↓C)

    e) N.A.

    Solución:

    a) – A/(B/C)

    ≡ A /[ ( B ∧C ) ]

    ≡ ¿ Def

    ≡ ¿ Def

    ≡ A ∨( B∧ C) Morgan

     A ∨(B ∧C )≡ A /(B/C)

    Clave: “A”

    02. Después de aplicar las reglas correspondientes, encontrar por


    contraposición la fórmula equivalente a: - (A ↓ - B):

    a) B ↓ - A b) - B → A c) - B → - A d) B → A e)
    N.A.

    Solución:

    ( A ↓ B) ≡ [ ( A ∨ B)]

    ≡ ( A ∨ B ) Doble

    ≡ A → B Definición →

    ≡ B → A Contraposición

     ( A ↓ B)≡ B → A

    Clave: “D”

    03. La siguiente fórmula proposicional: [(A → B) → C] transformándolo solo a


    operadores de Sheffer o Nicod, equivale a:
    a) (-A / B)/ -C b) (A/-B) /-C c) (A↓-B)↓-C d) (A↓-B)/-C
    e) (A/-B)↓-C

    Solución:

    [( A → B) →C ]

    ≡(∼ A ∨ B) → C

    ≡∼ (∼ A ∨ B)∨C

    ≡∼ (A / ∼ B)∨C

    ≡ ( A /∼ B ) /∼ C

     [( A → B)→C ]≡ ( A /∼B ) /∼C

    Clave: “B”

    04. La fórmula: (A ∨ - B) ∨ (-A ∨ B) equivale a:

    a) (A/ - B) / (- A / B)

    b) (A ↓ - B) / (- A ↓ B)

    c) (A / - B) ↓ (- A / B)

    d) (A ↓ - B) ↓ (- A ↓ B)

    e) N.A

    Solución:

    a) (A/ - B) / (- A / B)

    ≡[−( A ∧−B )]/[−(− A ∧ B ) ] Def /

    ≡ (− A ∨ B ) /( A ∨−B) Morgan

    ≡−[(− A ∨ B ) ∧ ( A ∨−B ) ] Def /

    ≡−(− A ∨ B ) ∨−( A ∨−B) Morgan

    ≡ (− A ∧ B ) ∨(− A ∧ B) Es Falso

    b) (A ↓ - B) / (- A ↓ B)

    ≡( A ∨−B)/−(− A ∨ B) Def ↓

    2
    ≡−[− ( A ∨−B ) ∧−(− A ∨ B ) ] Def /

    ≡ ( A ∨−B ) ∨(−A ∨ B) Morgan

     (A ∨ - B) ∨ (-A ∨ B)≡ ( A ∨−B ) ∨(−A ∨ B)

    Clave: “B”

    05. La proposición: “Si los cuerpos caen hacia arriba es obvio que la ley de la
    gravedad es imperfecta”. Equivale a:

    a) Si los cuerpos no cayeran hacia arriba en consecuencia la ley de la


    gravedad sería perfecta.
    b) Es falso que los cuerpos caigan hacia arriba y la ley de la gravedad no
    sea perfecta.
    c) Es objetable decir que dado que la ley de gravedad es perfecta, por eso
    los cuerpos no caen hacia arriba.
    d) Es incorrecto, que los cuerpos caigan hacia arriba al mismo tiempo que la
    ley de la gravedad no sea imperfecta.
    e) Los cuerpos ni caen hacia arriba ni la ley de la gravedad es imperfecta.

    Solución:

    Formalización del enunciado:

    “Si los cuerpos caen hacia arriba es obvio que (implicador) la ley de la
    gravedad es imperfecta (negador)”

    p →−q

    Acá falta

    d) Formalización:

    Es incorrecto (negación), que los cuerpos caigan hacia arriba al mismo


    tiempo que (conjuntor) la ley de la gravedad no sea imperfecta (negador).

    −( p ∧−(−q))

    −( p ∧ q)
    Clave: “D”

    También podría gustarte