Scribd Logo
Upload

Welcome to Scribd!

  • Diagramas tr2 Especifivacion

    Uploaded by

    Begoña Pascual
    5 views16 pages

    Original Title

    diagramas tr2 especifivacion (1)

    Copyright

    © © All Rights Reserved

    Available Formats

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

    Diagramas tr2 Especifivacion

    Uploaded by

    Begoña Pascual

    Copyright:

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

    q p → ¬

    ∧ r
    V →

    p V

    ¬ →

    q q p
    ¬
    ¬ r
    V →

    q ∧
    →

    p
    ∧ →

    ¬ → r q

    q p r
    q p → ¬
    ∧ r
    V →
    →

    V ¬

    ¬ s p

    p
    q p →
    ∧ r
    V →

    p V

    s →

    ¬ ¬

    p p
    p
    →
    q p →
    ∧ r
    V →
    V

    → →

    p q ¬ V

    r q V

    ¬ r

    p
    q p →
    ∧ r
    V →

    ∧ →

    p ¬ r s

    p ¬

    q
    q p →
    ∧ r
    V →

    →
    q p →
    ∧ r
    V →

    ∧ →

    p ¬ r s

    V
    /
    p ^ q
    q p
    ∧ r
    V →

    - *

    2 s y x

    x
    ∃x

    ∀y

    V
    y z

    FREE FREE
    ¬ x

    Q y z
    BOUND FREE
    BOUND y x BOUND
    ∃x

    ∀y

    V
    y z

    FREE FREE
    ¬ x

    Q x z
    BOUND FREE
    BOUND x x BOUND
    q p
    ∧ r
    V →

    - *

    2 s y x

    x
    q p
    ∧ r
    V →

    - *

    2 s y x

    x
    ∃x

    ∀y
    P

    V
    y z

    FREE FREE
    ¬ x

    Q y z

    BOUND FREE
    BOUND y x BOUND
    ∃x

    ∀y
    P

    V
    y z

    FREE FREE
    ¬ x

    Q x z

    BOUND FREE
    BOUND x x BOUND

    You might also like