Next: About this document ...
Up: predCalc
Previous: Predicate Calculus Example (p.
Step 1: Eliminate implications
Step 2: Reduce the scope of each negation sign.
Use DeMorgans if possible
Also use:
Also reduce any double negatives.
Step 3: Standardize the variables of the formula, giving each quantifier a different name.
Step 4: Eliminate the existential quantifiers using Skolemization
Step 5: Remove the universal quantifiers
Step 6: Put into conjuntive normal form
(This function already is)
Distributive Laws may be helpful:
Step 7: Separate the conjucts into separate clauses:
Next: About this document ...
Up: predCalc
Previous: Predicate Calculus Example (p.
Randy Latimer
2000-12-21