Scribd Logo
Upload

Welcome to Scribd!

  • 26 views

    8.module4 Resolution Using Propositional Logic 16

    Uploaded by

    justadityabist
    This document discusses using propositional logic and resolution to prove conclusions from hypotheses. It provides an example of using resolution to prove that if it rains Joe brings an umbrella, if he has an umbrella he doesn't get wet, and if it doesn't rain he doesn't get wet, then Joe doesn't get wet. It also discusses using proof by contradiction with resolution, and provides another proof of the example conclusion using this method.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd

    8.module4 Resolution Using Propositional Logic 16

    Uploaded by

    justadityabist
    26 views6 pages
    This document discusses using propositional logic and resolution to prove conclusions from hypotheses. It provides an example of using resolution to prove that if it rains Joe brings an umbrella, if he has an umbrella he doesn't get wet, and if it doesn't rain he doesn't get wet, then Joe doesn't get wet. It also discusses using proof by contradiction with resolution, and provides another proof of the example conclusion using this method.

    Original Title

    8.Module4_Resolution_Using_Propositional_Logic_16

    Copyright

    © © All Rights Reserved

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    This document discusses using propositional logic and resolution to prove conclusions from hypotheses. It provides an example of using resolution to prove that if it rains Joe brings an umbrella, if he has an umbrella he doesn't get wet, and if it doesn't rain he doesn't get wet, then Joe doesn't get wet. It also discusses using proof by contradiction with resolution, and provides another proof of the example conclusion using this method.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    26 views6 pages

    8.module4 Resolution Using Propositional Logic 16

    Uploaded by

    justadityabist
    This document discusses using propositional logic and resolution to prove conclusions from hypotheses. It provides an example of using resolution to prove that if it rains Joe brings an umbrella, if he has an umbrella he doesn't get wet, and if it doesn't rain he doesn't get wet, then Joe doesn't get wet. It also discusses using proof by contradiction with resolution, and provides another proof of the example conclusion using this method.

    Copyright:

    © All Rights Reserved
    Download as PDF, TXT or read online from Scribd
    Download as pdf or txt
    You are on page 1of 6

    Resolution Using

    Propositional Logic
    Proof with Resolution (Without Contradiction)

    • Given the following hypotheses:

    • If it rains, Joe brings his umbrella (r  u)


    • If Joe has an umbrella, he doesn't get wet (u   w)
    • If it doesn't rain, Joe doesn't get wet ( r   w)
    prove that Joes doesn't get wet ( w)
    • We first put each hypothesis in CNF:

    • r  u == ( r  u)
    • u   w == ( u   w)
    •  r   w == (r   w)
    • We then use resolution on the hypotheses to derive the conclusion ( w):

    1.  r  u Premise
    2.  u   w Premise
    3. r   w Premise
    4.  r   w L1, L2, resolution
    5.  w   w L3, L4, resolution
    6.  w L5, idempotence
    7. END
    Proofs by Contradiction using Resolution
    • We can combine resolution with proof by contradiction (where we assert
    the negation of what we wish to prove, and from that premise derive
    FALSE) to direct our search towards smaller and smaller clauses, with the
    goal of producing FALSE.

    • Proof by contradiction:
    ( p  0) == p

    • We use proof by contradiction to drive our search for a proof; we are


    looking for the smallest possible goal clause (false), so any use of
    equivalences or resolution that brings us to simpler expressions is
    working towards that goal.
    • We can redo the previous proof (about Joe and his umbrella) using proof by contradiction with
    resolution:

    1.  r  u Premise

    2.  u   w Premise

    3. r   w Premise

    4. w Negation of conclusion

    5.  r   w L1, L2, resolution

    6.  w   w L3, L5, resolution

    7.  w L6, idempotence

    8. NULL (FALSE) L4, L7, resolution

    You might also like

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy