Scribd Logo
Upload

Welcome to Scribd!

  • Ej Logica

    Uploaded by

    Rudii
    9 views1 page
    Ejercicios de lógica

    Original Title

    EJ LOGICA

    Copyright

    © © All Rights Reserved

    Available Formats

    DOCX, PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    Ejercicios de lógica

    Copyright:

    © All Rights Reserved
    Download as DOCX, PDF, TXT or read online from Scribd
    Flag for inappropriate content
    9 views1 page

    Ej Logica

    Uploaded by

    Rudii
    Ejercicios de lógica

    Copyright:

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

    1.

    r→¬(p^¬q) P

    2. P˅(q˅r) P

    3. ¬((p˅q)˅r)˅(p^r) P

    4. q S

    5. q˅r RE˅ 2

    6. ¬r IA 4, 5

    7. p˅q RE˅ 2, 6

    8. ¬p IA 4, 7

    9. ¬(¬p˅¬r) RE˅ 3, 6, 7, 8

    10. p^r Def. 9

    11. q^(p^r) RI^ 4, 10

    You might also like