Scribd Logo
Upload

Welcome to Scribd!

  • Laboratorio de Matematicas de Cristopher Pivaral 2do Basico Ä

    Uploaded by

    Susan López
    4 views16 pages

    Original Title

    Laboratorio de matematicas de cristopher pivaral 2do basico ¨Ä¨ (1)

    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
    4 views16 pages

    Laboratorio de Matematicas de Cristopher Pivaral 2do Basico Ä

    Uploaded by

    Susan López

    Copyright:

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

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

    TAUTOLIGIA

    p q ¬p ¬q (p∧q) (p∧¬q) [(p∧q)∨(p∧¬q)] p↔[(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 V
    F V V F F F F V
    F V V F F F F V
    F V V F F F F V
    F F V V F F F V
    F F V V F F F V
    F F V V F F F V
    F F V V F F F V
    (p∨q)∧(p∨r)

    TAUTOLIGIA

    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
    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)

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

    CONTINGENCIA

    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
    p^(¬p<=>¬q)∨(p∧¬r)

    CONTINGENCIA

    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)
    v
    v
    v
    v
    f
    f
    v
    v
    f
    f
    f
    f
    f
    f
    f
    f
    (p↔r) v (p∧¬q) ∨(p∧¬q)]

    CONTINGENCIA

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


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

    CONTINGENCIA

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


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

    CONTINGENCIA

    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
    ~p v p∧q ∨ p∧¬q

    CONTINGENCIA

    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
    p^(p=>q)∨¬(p∧¬q)

    CONTINGENCIA

    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

    You might also like