Unformatted text preview: ¬ I), assume ¬∃ x • P – use exists elimination ( ∃ E) • Generally, need to perform quantiﬁer 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 quantiﬁer before picking a formula of the form ∀ x • P )....
View
Full Document
 Spring '08
 WORMER
 Logic, Mathematical logic, Natural deduction, Additional Proof Strategies

Click to edit the document details