Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • Actividad 4 Juan Alfredo Juárez Tamayo

    Cargado por

    Juan Alfredo
    12 vistas11 páginas

    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?

    Denunciar este documento

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    12 vistas11 páginas

    Actividad 4 Juan Alfredo Juárez Tamayo

    Cargado por

    Juan Alfredo

    Copyright:

    © All Rights Reserved
    Descargue como PDF, TXT o lea en línea desde Scribd
    Marcar por contenido inapropiado
    de 11

    Ejercicio 1 Es contingente

    p p pvp r p v p --> r

    1 1 1 1 1

    1 1 1 0 0

    1 0 1 1 1

    1 0 1 0 0

    0 1 1 1 1

    0 1 1 0 0

    0 0 0 1 1

    0 0 0 0 1

    Ejercicio 2 Es contingente
    p v (q --> r)

    q r (q --> r) p p v (q --> r)

    1 1 1 1 1

    1 0 0 1 1

    0 1 1 1 1

    0 0 1 1 1

    1 1 1 0 1

    1 0 0 0 0

    0 1 1 0 1

    0 0 1 0 1

    Ejercicio 3 es contingente

    3. (p --> q) ^ (q --> r) --> (p


    --> r)

    p q r (p --> (q --> (p --> (q --> r) --> (p --> q) ^ (q --> r)


    q) r) r) (p --> r) --> (p --> r)

    1 1 1 1 1 1 1 1
    1 1 0 1 0 0 1 0

    1 0 1 0 1 1 1 1

    1 0 0 0 1 0 0 0

    0 1 1 1 1 1 1 1

    0 1 0 1 0 1 1 1

    0 0 1 1 1 1 1 1

    0 0 0 1 1 1 1 1

    Ejercicio 4 contingente

    4. p --> (q --> r)

    p q r (q --> r) p --> (q -->


    r)

    1 1 1 1 1

    1 1 0 0 0

    1 0 1 1 1

    1 0 0 1 1

    0 1 1 1 1

    0 1 0 0 1

    0 0 1 1 1

    0 0 0 1 1

    Ejercicio 5 es contingente

    5. p v q --> (r v s
    --> p)

    p q r s pvq rvs (r v s --> p) p v q --> (r v s -->


    p)

    1 1 1 1 1 1 1 1

    1 1 1 0 1 1 1 1

    1 1 0 1 1 1 1 1
    1 1 0 0 1 0 1 1

    1 0 1 1 1 1 1 1

    1 0 1 0 1 1 1 1

    1 0 0 1 1 1 1 1

    1 0 0 0 1 0 1 1

    0 1 1 1 1 1 0 0

    0 1 1 0 1 1 0 0

    0 1 0 1 1 1 0 0

    0 1 0 0 1 0 1 1

    0 0 1 1 0 1 0 1

    0 0 1 0 0 1 0 1

    0 0 0 1 0 1 0 1

    0 0 0 0 0 0 1 1

    Ejercicio 6 es tautológica

    6. p ^ q --> q ^ p

    p q p^q q^p p ^ q --> q


    ^p

    1 1 1 1 1

    1 0 0 0 1

    0 1 0 0 1

    0 0 0 0 1

    Ejercicio 7 es contingente

    7. (p --> q) ^ p --> q

    p q p --> q p --> q (p --> q) ^ p


    --> q
    1 1 1 1 1

    1 0 0 0 0

    0 1 1 1 1

    0 0 1 1 1

    Ejercicio 8 es contradicción

    8. (p --> q) ^ p ^ ¬q p --> q (p --> q) ^ p ¬q (p --> q) ^ p


    ^ ¬q

    p q

    1 1 1 1 0 0

    1 0 0 0 1 0

    0 1 1 0 0 0

    0 0 1 0 1 0

    Ejercicio 9 es contingente

    9. (p --> q) ^ (p --> q)

    p q p --> q p --> q (p --> q) ^


    (p --> q)

    1 1 1 1 1

    1 0 0 0 0

    0 1 1 1 1

    0 0 1 1 1

    Ejercicio 10 es contingente

    10. (p --> q) ^ q --> p

    p q p --> q q --> p (p --> q) ^ q


    --> p

    1 1 1 1 1

    1 0 0 1 0
    0 1 1 0 0

    0 0 1 1 1

    Ejercicio 11 Es contingente

    11. (p ⇒ q) ⇒[(p∨¬q)
    ⇒(p∧q)]

    p q (p ⇒ ¬q (p∨¬q (p∧q) (p∨¬q) (p ⇒ q)


    q) ) ⇒(p∧q) ⇒[(p∨¬q)
    ⇒(p∧q)]

    1 1 1 0 1 1 1 1

    1 0 0 1 1 0 0 1

    0 1 1 0 0 0 1 1

    0 0 1 1 1 0 0 0

    Ejercicio 12 es contingente

    12. (p --> q) ^ ¬p -->


    ¬q

    p q p --> q ¬p ¬q ¬p --> ¬q (p --> q) ^ ¬p


    --> ¬q

    1 1 1 0 0 1 0

    1 0 0 0 1 1 1

    0 1 1 1 0 0 0

    0 0 1 1 1 1 1

    Ejercicio 13 es contingente

    13. ¬ (p ^ q) <-->
    ¬p ^ ¬q

    p q p^q ¬ (p ^ ¬p ¬q ¬p ^ ¬q ¬ (p ^ q) <--> ¬p ^
    q) ¬q

    1 1 1 0 0 0 0 1
    1 0 0 1 0 1 0 0

    0 1 0 1 1 0 0 1

    0 0 0 1 1 1 1 1

    Ejercicio 14 es tautológica

    14. (p
    ∨q)∧(¬p∨q)∧
    (p∨¬q)∧(¬p∨¬
    q)

    p q p ¬p ¬p (p ¬q p∨¬q ¬p (p∨¬ (p
    ∨q ∨q ∨q) ∨¬ q)∧( ∨q)∧(¬p∨
    ∧(¬p q ¬p∨ q)∧(p∨¬q)
    ∨q) ¬q) ∧(¬p∨¬q)

    1 1 1 0 1 1 0 1 0 0 1

    1 0 1 0 0 0 1 1 1 1 1

    0 1 1 1 1 1 0 0 1 0 1

    0 0 0 1 1 0 1 1 1 1 1

    Ejercicio 15 contradicción

    15. [(p --> q) ^


    (q --> r)] ^ ¬(p
    --> r)]

    p q r p q (p --> (p --> ¬(p --> r) [(p --> q) ^ (q --> r)] ^ ¬(p


    --> --> q) ^ r) --> r)]
    q r (q -->
    r

    1 1 1 1 1 1 1 0 0

    1 1 0 1 0 0 0 1 0

    1 0 1 0 1 0 1 0 0

    1 0 0 0 1 0 0 1 0

    0 1 1 1 1 1 1 0 0

    0 1 0 1 0 0 1 0 0
    0 0 1 1 1 1 1 0 0

    0 0 0 1 1 1 1 0 0

    Ejercicio 16 es contingente

    16. p --> (q ^ ¬r)


    --> ¬q)

    p q r ¬r q ^ ¬r p --> (q ^ ¬q p --> (q ^ ¬r) -->


    ¬r) ¬q

    1 1 1 0 0 0 0 1

    1 1 0 1 1 1 0 0

    1 0 1 0 0 0 1 1

    1 0 0 1 0 0 1 1

    0 1 1 0 0 1 0 0

    0 1 0 1 1 1 0 0

    0 0 1 0 0 1 1 1

    0 0 0 1 0 1 1 1

    Ejercicio 17 es contingente

    17. ¬(p v q)
    <--> ¬r v ¬q

    p q r pvq ¬(p ¬r ¬q ¬r v ¬q ¬(p v q) <-->


    v q) ¬r v ¬q

    1 1 1 1 0 0 0 0 1

    1 1 0 1 0 1 0 1 0

    1 0 1 1 0 0 1 1 0

    1 0 0 1 0 1 1 1 0

    0 1 1 1 0 0 0 0 1

    0 1 0 1 0 1 0 1 0

    0 0 1 0 1 0 1 1 1

    0 0 0 0 1 1 1 1 1
    Ejercicio 18 es contingente

    18. ¬(p∧q)∨(r
    ∧¬p)

    p q r p∧q ¬p (r ∧¬p) ¬(p∧q)∨(r


    ¬(p∧q ∧¬p)
    )

    1 1 1 1 0 0 0 0

    1 1 0 1 0 0 0 0

    1 0 1 0 1 0 0 1

    1 0 0 0 1 0 0 1

    0 1 1 0 1 1 1 1

    0 1 0 0 1 1 0 1

    0 0 1 0 1 1 1 1

    0 0 0 0 1 1 0 1

    Ejercicio 19 es contingente

    19. [(p ⇔ q)∨(p ⇒


    r)] ⇒ (¬q∧p)]

    p q r p⇔ p⇒r (p ⇔ ¬q ¬q∧p (p ⇔ q)∨(p


    q q)∨(p ⇒ r)] ⇒
    ⇒ r) (¬q∧p)

    1 1 1 1 1 1 0 0 0

    1 1 0 1 0 1 0 0 0

    1 0 1 0 1 1 1 1 1

    1 0 0 0 0 0 1 1 1

    0 1 1 0 1 1 0 0 0

    0 1 0 0 1 1 0 0 0

    0 0 1 1 1 1 1 0 0
    0 0 0 1 1 1 1 0 0

    Ejercicio 20 es contingente

    20. (p ⇒ q) ⇒[(p∨¬q)
    ⇒(p∧q)]

    p q p⇒q ¬q (p∨¬q (p∧q) (p∨¬q) (p ⇒ q)


    ) ⇒(p∧q ⇒[(p∨¬q)
    ⇒(p∧q)

    1 1 1 0 1 1 1 1

    1 0 0 1 1 0 0 1

    0 1 1 0 0 0 1 1

    0 0 1 1 1 0 0 0

    También podría gustarte