Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Resolution Rule (cont’)

  • Example:

    The clauses

    clash on P, ¬ P

    C 1 ,C 2 also clash on Q, ¬ Q so, another way to find a resolvent for these two clauses is

Speaker notes:

Content Tools


There are currently no sources for this slide.