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 - Converting to Clause Normal Form

  • Step 3: Standardize by renaming all variables so that variables bound by different quantifiers have unique names

    • ( X) a(X) ( X) b(X) = ( X) a(X) ( Y) b(Y)

  • Step 4: Move all quantifiers to the left to obtain a prenex normal form

    • A formula is inn prenex normal form if it is written as a string of quantifiers followed by a quantifier-free part

  • Step 5: Eliminate existential quantifiers by using skolemization

Speaker notes:

Content Tools


There are currently no sources for this slide.