Scribd Logo
Upload

Welcome to Scribd!

  • Tarea Logica Tablas de Verdad

    Uploaded by

    jasmin tema
    7 views12 pages

    Original Title

    TAREA LOGICA TABLAS DE VERDAD

    Copyright

    © © All Rights Reserved

    Available Formats

    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 PDF, TXT or read online from Scribd
    Flag for inappropriate content
    7 views12 pages

    Tarea Logica Tablas de Verdad

    Uploaded by

    jasmin tema

    Copyright:

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

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

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


    v v f f v v
    v f f v f v
    f v v f v f
    f f v v v v

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

    ¬(p v q) v (¬p^¬q) CONTINGENCIA


    p q ¬p ¬q pvq ¬(p v q)
    v v f f v f
    v f v v v f
    f v f f v f
    f f v v f v

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


    p q r s pvq rvs
    v v v v v v
    v v v f v v
    v v f v v v
    v v f f v f
    v f v v v v
    v f v f v v
    v f f v v v
    v f f f v f
    f v v v v v
    f v v f v v
    f v f v v v
    f v f f v v
    f f v v f v
    f f v f f v
    f f f v f v
    f f f f f f

    ¬(p v q) -> (¬p v ¬q) TAUTOLOGIA


    p q ¬p ¬q (p v q) ¬(p v q)
    v v f f v f
    v f f v v f
    f v v f v f
    f f v v f v

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


    p q ¬q pvq ¬q -> p (p v q) ^ (¬q -> p)
    v v f v v v
    v f v v v v
    f v f v v v
    f f v f f f

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


    p q r ¬p ¬q ¬r
    v v v f f f
    v v f f f v
    v f v f v f
    v f f f v v
    f v v v f f
    f v f v f v
    f f v v v f
    f f f v v v

    ((p v q)->(r v s)) ^((r v s)->¬t)) ->t CONTINGENCIA


    p q r s t ¬t
    v v v v v f
    v v v v f v
    v v v f v f
    v v v f f v
    v v f v v f
    v v f v f v
    v v f f v f
    v v f f f v
    v f v v v f
    v f v v f v
    v f v f v f
    v f v f f v
    v f f v v f
    v f f v f v
    v f f f v f
    v f f f f v
    f v v v v f
    f v v v f v
    f v v f v f
    f v v f f v
    f v f v v f
    f v f v f v
    f v f f v f
    f v f f f v
    f f v v v f
    f f v v f v
    f f v f v f
    f f v f f v
    f f f v v f
    f f f v f v
    f f f f v f
    f f f f f v
    (p->q) ^(¬p -> ¬q)
    v
    f
    f
    v

    ¬p^¬q ¬(p v q) v (¬p^¬q)


    f f
    f f
    f f
    v v

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


    v v
    v v
    v v
    v v
    v v
    v v
    v v
    v v
    f f
    f f
    f f
    f f
    f v
    f v
    f v
    v v

    (¬p v ¬q) ¬(p v q) -> (¬p v ¬q)


    f v
    v v
    v v
    v v

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


    v v v f
    v f f v
    f v f v
    f f f v
    v v v f
    v v v v
    v v v v
    v v v v

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


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

    (p v q)->(r v s)) ^((r v s)->¬t) ((p v q)->(r v s)) ^((r v s)->¬t)) ->t
    f v
    v f
    f v
    v f
    f v
    v f
    f v
    f v
    f v
    v f
    f v
    v f
    f v
    v f
    v v
    v f
    f v
    v f
    f v
    v f
    f v
    v f
    f v
    f v
    f v
    v f
    f v
    v f
    f v
    v f
    v v
    v f

    You might also like