This preview shows page 1. Sign up to view the full content.
Unformatted text preview: I), assume x P use exists elimination ( E) Generally, need to perform quantier elimination using E and E. Usually, the right order is to use E rst (ie, pick a formula of the form x P and eliminate the quantier before picking a formula of the form x P )....
View Full Document
This note was uploaded on 01/19/2010 for the course CS 246 taught by Professor Wormer during the Spring '08 term at Waterloo.
- Spring '08