Scribd Logo
Upload

Welcome to Scribd!

  • DERIVE3

    Uploaded by

    Maribel Peñafiel Sequeiros
    4 views3 pages

    Copyright

    © © All Rights Reserved

    Available Formats

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

    DERIVE3

    Uploaded by

    Maribel Peñafiel Sequeiros

    Copyright:

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

    h) DILEMA CONSTRUCTIVO (DC)

    #1:      TRUTH_TABLE(p, q, r, t, (p → q) ∧ (r → t) ∧ (p ∨ r) → q ∨ t)

                              ⎡      p            q            r            t        ((p → q) ∧ (r → t)) ∧ (p ∨ r) → q ∨ t ⎤
                              ⎢                                                                                                                                      ⎥
                              ⎢ true      true      true      true                                      true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎢ true      true      true      false                                    true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎢ true      true      false    true                                      true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎢ true      true      false    false                                    true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎢ true      false    true      true                                      true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎢ true      false    true      false                                    true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎢ true     false    false    true                                      true                                    ⎥
                              ⎢                                                                                                                                      ⎥
    #2:                    ⎢ true      false    false    false                                    true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎢ false    true      true      true                                      true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎢ false    true      true     false                                    true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎢ false    true      false    true                                      true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎢ false    true      false    false                                    true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎢ false    false    true      true                                      true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎢ false    false    true      false                                    true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎢ false    false    false    true                                      true                                    ⎥
                              ⎢                                                                                                                                      ⎥
                              ⎣ false    false    false    false                                    true                                    ⎦
    i) DILEMA DESTRUCTIVO (DD)

    #3:      TRUTH_TABLE(p, q, r, t, (p → q) ∧ (r → t) ∧ (¬ q ∨ ¬ t) → ¬ p ∨ ¬ r)

                      ⎡      p            q            r            t        ((p → q) ∧ (r → t)) ∧ (¬ q ∨ ¬ t) → ¬ p ∨ ¬ r ⎤
                      ⎢                                                                                                                                                      ⎥
                      ⎢ true      true      true      true                                              true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
                      ⎢ true      true      true      false                                            true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
                      ⎢ true      true      false    true                                              true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
                      ⎢ true      true      false    false                                            true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
                      ⎢ true      false    true      true                                              true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
                      ⎢ true      false    true      false                                            true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
                      ⎢ true      false    false    true                                              true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
    #4:            ⎢ true    false    false    false                                            true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
                      ⎢ false    true      true      true                                              true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
                      ⎢ false    true      true      false                                            true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
                      ⎢ false    true      false    true                                              true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
                      ⎢ false    true      false    false                                            true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
                      ⎢ false    false    true      true                                              true                                            ⎥
                      ⎢                                                                                                                                                    ⎥
                      ⎢ false    false    true      false                                            true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
                      ⎢ false    false    false    true                                              true                                            ⎥
                      ⎢                                                                                                                                                      ⎥
                      ⎣ false    false    false    false                                            true                                            ⎦

    You might also like