Monday, July 26, 2010

Resolution Procedure.

8 comments:

  1. how do i represent this resolution method using predicate logic?

    ReplyDelete
  2. How can we speed up the resolution process?

    ReplyDelete
  3. how many types of resolution are there?

    ReplyDelete
    Replies
    1. Resolution Process is Two Types.
      1. Resolution in Predicate Logic
      2. Resolution in Propositional Logic.

      Delete
  4. what is the role of resolution in predicate logic?

    ReplyDelete