Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 31 vistas

    Matemática - Práctica Sem 1

    Cargado por

    mariaabigailjaimenamuche2005
    Este documento presenta 10 ejercicios de lógica proposicional resueltos. Cada ejercicio contiene una expresión lógica y su tabla de verdad correspondiente. El documento fue elaborado por estudiantes y un docente de la Facultad de Ciencias Sociales de la Universidad Nacional Mayor de San Marcos para el curso de Matemática Aplicada a las Ciencias Sociales y Humanas.

    Copyright:

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

    Matemática - Práctica Sem 1

    Cargado por

    mariaabigailjaimenamuche2005
    31 vistas7 páginas
    Este documento presenta 10 ejercicios de lógica proposicional resueltos. Cada ejercicio contiene una expresión lógica y su tabla de verdad correspondiente. El documento fue elaborado por estudiantes y un docente de la Facultad de Ciencias Sociales de la Universidad Nacional Mayor de San Marcos para el curso de Matemática Aplicada a las Ciencias Sociales y Humanas.

    Título original

    Matemática -Práctica Sem 1

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    Este documento presenta 10 ejercicios de lógica proposicional resueltos. Cada ejercicio contiene una expresión lógica y su tabla de verdad correspondiente. El documento fue elaborado por estudiantes y un docente de la Facultad de Ciencias Sociales de la Universidad Nacional Mayor de San Marcos para el curso de Matemática Aplicada a las Ciencias Sociales y Humanas.

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Descargar como pdf o txt
    31 vistas7 páginas

    Matemática - Práctica Sem 1

    Cargado por

    mariaabigailjaimenamuche2005
    Este documento presenta 10 ejercicios de lógica proposicional resueltos. Cada ejercicio contiene una expresión lógica y su tabla de verdad correspondiente. El documento fue elaborado por estudiantes y un docente de la Facultad de Ciencias Sociales de la Universidad Nacional Mayor de San Marcos para el curso de Matemática Aplicada a las Ciencias Sociales y Humanas.

    Copyright:

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

    Universidad Nacional Mayor de San Marcos

    Universidad del Perú. Decana de América

    Facultad de Ciencias Sociales

    Lógica Proposicional

    TRABAJO APLICATIVO
    Trabajo semanal N°1 del curso Matemática
    Aplicada a las Ciencias Sociales y Humanas

    AUTORES
    María JAIME NAMUCHE
    Eddy MENDOZA HUAMAN
    Gerardo GONZALES VASQUEZ
    Gustavo CANALES CUCHUÑAUPA
    Hillary ALARCON HERVIAS
    Olmer GAMONAL LOAYZA
    Manuel PAITAN DIAZ

    DOCENTE

    Melanio SEMPERTEGUI GONZALES

    Lima, Perú

    2023
    LÓGICA PROPOSICIONAL

    Resolución de los siguientes ejercicios.

    1. (q → p) ˅ (~ q → r)

    Resolución:
    (q → p) ˅ (~ q → r)
    p q r
    V V V V V F V V
    V V F V F
    V V F V V V V V
    V F V V F V F F
    V F F F V F V V
    F V V F V F V F
    F V F V V V V V
    V F V F F
    F F V
    F F F

    2. [(p → q) ˅ (~ q ˅ r)] ↔ (r → q)

    Resolución:
    [(p → q) ˅ (~ q ˅ r)] ↔ (r → q)
    p q r
    V V F V V V V
    V V V V V F F F V V
    V V F F V V V V F F
    V F V F V V V F V V
    V F F V V F V V V V
    F V V V V F F F V V
    V V V V V F F
    F V F V V V V F V V
    F F V
    F F F
    3. [(p ˅ q) → ~ r] ˅ [ r ↔ (~ p ˄ ~ q)]

    Resolución:
    [(p ˅ q) → ~ r] ˅ [ r ↔ (~ p ˄ ~ q)]
    p q r V F F F V F F F F
    V V V V V V V F V F F F
    V V F V F F F V F F F V
    V V V V F V F F V
    V F V
    V F F F V F V F F
    V F F V V V V F V V F F
    F V V F V F V V V V V V
    F V F F V V V F F V V V
    F F V
    F F F

    4. (p → q) ∧ [(~ p ∨ q) →r]

    Resolución:
    (p → q) ∧ [(~p ∨ q) → r]
    p q r
    V V V V V F V V V V
    V F F V V F F
    V V F
    F F F F F V V
    V F V F F F F F V F
    V F F V V V V V V V
    F V V V F V V V F F
    F V F V V V V F V V
    V F V V F F F
    F F V
    F F F
    5. [(~p → q) ˅ (r ↔ q)] → ( r ∧ q )

    Resolución:
    [(~p → q) ˅ (r ↔ q)] → ( r ∧ q )
    p q r
    V V V F V V V V V V
    V V F F V V V F F F
    V F V F V F V F F F
    V F F F V F V V F F
    V V V V V V V
    F V V V V F
    V V F F
    F V F V F F F F V F
    F F V V F F V V F F
    F F F

    6. (p ˄ q) ↔ [ (~ p ˅ r) → r]

    Resolución:
    (p ˄ q) ↔ [ (~ p ˅ r) → r]
    p q r
    V V V
    V V F V V V V
    V V F F F F V F
    V V
    V F V F F F V V V V
    V F F F F F F F V F
    F V V F F V V V V V
    F V F F V V V F F F
    F F V V V V V
    F F V V V V F F F
    F
    F F F
    7. [~ p ˄ (q ˅ r)] ↔ [(p ˅ r) ˄ q]

    Resolución:
    [〜p ˄ (q ˅ r)] ↔ [(p ˅ r) ˄ q]
    p q r
    V V V
    F F V F V V V
    V V F
    F F V F V V V
    V F V F F V V V F F
    V F F F F F V V F F
    F V V V V V V V V V
    F V F V V V F F F V
    V V V F V F F
    F F V
    V F F V F F F
    F F F

    8. ~[( r→ p) ˄ (~q ˅ p )] ˄ [p ˄ (p → r)]

    Resolución:

    p q r ~ [( r → p) ˄ (~q ˅ p )] ˄ [p ˄ (p → r)]
    V V V
    F V V F V V F V V V
    V V F V V F
    F V V F V F F
    V F V F V V V V V F V V V
    V F F F V V V V V F V F F
    F V V V F F F F F F F F V
    F V F V V F F F F F F F V
    V F F V V F F F F V
    F F V V F V
    F V V V F F F
    F F F
    9. [(~p ˅ q) → (r ˅ p)] ˅ (p→q)
    Resolución:
    [(~p ˅ q) → (r ˅ p)] ˅ (p → q)
    p q r
    V V V F V V V V V V
    V V F F V V V V V V
    V F V F F F V V V F
    V F F F F F V V V F
    V V V V V V V
    F V V V V V F F V V
    F V F V V F V V V V
    F F V V V F F F V V
    F F F

    10. [(p ˄ q) ↔ (q ˅ r)] ↔ [(p → ~ q) ˄ r]

    Resolución:

    [(p ˄ q) ↔ (q ˅ r)] ↔ [(p → ~ q) ˄ r]


    p q r
    V V V V V V F V F F F V
    V V F V V V F V F F F F
    V F V F F V F V V V V V
    F V F F V V V F F
    V F F F F V F F V F V
    V
    F V V F F V V F V F F F
    F V F F F V F F V V V V
    F F V F V F F F V V F F
    F F F

    También podría gustarte