Scribd Logo
Upload

Welcome to Scribd!

  • Laboratorio de Matematicas Susan Andrea López M. Seccion A

    Uploaded by

    Susan López
    6 views21 pages

    Original Title

    Laboratorio de Matematicas Susan Andrea López M. seccion ¨A¨

    Copyright

    © © All Rights Reserved

    Available Formats

    XLSX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document

    Copyright:

    © All Rights Reserved
    Download as XLSX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    6 views21 pages

    Laboratorio de Matematicas Susan Andrea López M. Seccion A

    Uploaded by

    Susan López

    Copyright:

    © All Rights Reserved
    Download as XLSX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    of 21

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

    1.)

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


    V V F F V F V
    V V F F V F V
    V V F F V F V
    V V F F V F V
    V F F V V V V
    V F F V V V V
    V F F V V V V
    V F F V V V V
    F V V F F F F
    F V V F F F F
    F V V F F F F
    F V V F F F F
    F F V V F F F
    F F V V F F F
    F F V V F F F
    F F V V F F F
    p↔[(p∧q)∨(p∧¬q)]
    V
    V
    V
    V
    V TAUTOLOGIA
    V
    V
    V
    V
    V
    V
    V
    V
    V
    V
    V
    (p∨q)∧(p∨r)
    2.)

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


    V V V V V V
    V V V V V V
    V V F V V V TAUTOLIGIA
    V V F V V V
    V F V V V V
    V F V V V V
    V F F V V V
    V F F V V V
    F V V V V V
    p∧(q∨r) <=>(p∧q)∨(p∧r)

    3.) p q r (q∨r) (p∧q) (p∧r) (q∨r) <=>(p∧q)(p∧q)∨(p∧p


    r ∧(q∨r)
    V V V v v v v v v
    V V V v v v v v f
    V V F v v v v v f
    V V F v v v v v v
    V F V v f v v v v
    V F V v f v v v f
    V F F v f v v v v
    V F F v f v v v f
    F V V v f v v v v
    F V V v f v v v v
    F V V f f f f f v
    F V F f f f f f v
    F F F v f v v v v
    F F V v f v v v v
    F F V f f f f f v
    F F F f f f f f v
    V V F v v v v v v
    V V V v v v v v v
    V V V f v f v v v
    V V V f v f v v v
    V F F v f v v v v
    V F F v f v v v v
    V F V v f v v v v
    V F V v f v v v f
    F V F v f v v v f
    F V F v f v v v f
    F V V f f f f f v
    F V V f f f f f f
    F F V v f v v v v
    F F F v f v v v f
    F F F f f f f f v
    F F V f f f f f f
    V V V v v v v v v
    V V F v v v v v f
    V V F v v v v v v
    V V V v v v v v v
    p∧(q∨r) <=>(p∧q)∨(p∧r)
    v
    v
    v
    v
    v
    v
    v
    v
    v
    v
    f
    f
    v CONTINGENCIA
    v
    f
    f
    v
    v
    v
    v
    v
    v
    v
    v
    v
    v
    f
    f
    v
    v
    f
    f
    v
    v
    v
    v
    ~p v [(p∧q)∨(p∧¬q)]
    4.)

    p q ¬p ¬q (p∧q) (p∧¬q) [(p∧q)∨(p∧¬q)]~p v [(p∧q)∨(p∧¬q)]


    V V F F V F V V
    V V F F V F V V
    V V F F V F V V
    V V F F V F V V
    V F F V V V V V
    V F F V V V V V
    V F F V V V V V
    V F F V V V V V
    F V V F F F F F
    F V V F F F F F
    F V V F F F F F
    F V V F F F F F
    F F V V F F F F
    F F V V F F F F
    F F V V F F F F
    F F V V F F F F
    ∧q)∨(p∧¬q)]

    CONTINGENCIA
    5.)

    p q r ¬p ¬q ¬r ¬p<=>¬q (p∧¬r) (¬p<=>¬q)∨(p∧¬r)


    v v v f f f v f v
    v v v f f f v f v
    v v f f f v v v v
    v v f f f v v v v
    v f v f v f f f f
    v f v f v f f f f
    v f f f v v f v v
    v f f f v v f v v
    f v v v f f f f f
    f v v v f f f f f
    f v f v f v f f f
    f v f v f v f f f
    f f v v v f v f v
    f f v v v f v f v
    f f f v v v v f v
    f f f v v v v f v
    p^(¬p<=>¬q)∨(p∧¬r)

    p^(¬p<=>¬q)∨(p∧¬r)
    v
    v
    v
    v
    f
    f
    v CONTINGENCIA
    v
    f
    f
    f
    f
    f
    f
    f
    f
    6.)

    p r q ¬p ¬r ¬q p↔r (p∧¬q) (p∧¬q)


    v v v f f f v f f
    v v v f f f v f f
    v v f f f v v v v
    v v f f f v v v v
    v f v f v f f f f
    v f v f v f f f f
    v f f f v v f v v
    v f f f v v f v v
    f v v v f f f f f
    f v v v f f f f f
    f v f v f v f f f
    f v f v f v f f f
    f f v v v f v f f
    f f v v v f v f f
    f f f v v v v f f
    f f f v v v v f f
    v v v f f f v f f
    v v v f f f v f f
    v v f f f v v v v
    v v f f f v v v v
    v f v f v f f f f
    v f v f v f f f f
    v f f f v v f v v
    v f f f v v f v v
    f v v v f f f f f
    (p↔r) v (p∧¬q) ∨(p∧¬q)]

    (p↔r) v (p∧¬q) (p↔r) v (p∧¬q) ∨(p∧¬q)]


    v v
    v v
    v v
    v v
    f f CONTINGENCIA
    f f
    v v
    v v
    f f
    f f
    v v
    v v
    v v
    v v
    v v
    v v
    v v
    v v
    v v
    v v
    f f
    f f
    v v
    v v
    f f
    7.)

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


    v v v f f f v v v
    v v v f f f v v v
    v v f f f v v v f
    v v f f f v v v f
    v f v f v f f v v
    v f v f v f f v v
    v f f f v v f v f
    v f f f v v f v f
    f v v v f f v f f
    f v v v f f v f f
    f v f v f v v v f
    f v f v f v v v f
    f f v v v f v f f
    f f v v v f v f f
    f f f v v v v v f
    f f f v v v v v f
    v v v f f f v v v
    v v v f f f v v v
    v v f f f v v v f
    v v f f f v v v f
    v f v f v f f v v
    v f v f v f f v v
    v f f f v v f v f
    v f f f v v f v f
    f v v v f f v v f
    (¬p∨q)∧(p∨¬r) => (p∧r)

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


    v
    v
    f
    f
    v
    v
    v
    v
    v CONTINGENCIA
    v
    f
    f
    v
    v
    f
    f
    v
    v
    f
    f
    v
    v
    v
    v
    f
    8.)
    ¬p∧(¬q∨r) => (¬p∧q)

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


    v v v f f f v f v
    v v v f f f v f v
    v v f f f v f f v
    v v f f f v f f v
    v f v f v f v f v
    v f v f v f v f v
    v f f f v v v f v
    v f f f v v v f v
    f v v v f f v f f
    f v v v f f v f f
    f v f v f v f f v
    f v f v f v f f v
    f f v v v f v f f
    f f v v v f v f f
    f f f v v v v f f
    f f f v v v v f f
    CONTINGENCIA
    9.)
    ~p v p∧q ∨ p∧¬q

    p q ¬p ¬q p ∧q ~p v p∧q p∧¬q ~p v p∧q ∨ p∧¬q


    v v f f v v f v
    v v f f v v f v
    v v f f v v f v
    v v f f v v f v
    v f f v f v v v
    v f f v f v v v
    v f f v f v v v
    v f f v f v v v
    f v v f f f f f
    f v v f f f f f
    f v v f f f f f
    f v v f f f f f
    f f v v f v f v
    f f v v f v f v
    f f v v f v f v
    f f v v f v f v
    CONTINGENCIA
    10.)
    p^(p=>q)∨¬(p∧¬q)

    p q ¬p ¬q (p=>q) p^(p=>q) ¬(p∧¬q) p^(p=>q)∨¬(p∧¬q)


    v v f f v v f v
    v v f f v v f v
    v v f f v v f v
    v v f f v v f v
    v f f v f f v f
    v f f v f f v f
    v f f v f f v f
    v f f v f f v f
    f v v f v f f v
    f v v f v f f v
    f v v f v f f v
    f v v f v f f v
    f f v v v f f v
    f f v v v f f v
    f f v v v f f v
    f f v v v f f v
    CONTINGENCIA

    You might also like