This preview shows page 1. Sign up to view the full content.
Unformatted text preview: P ( k ) holds, for some arbitrary k , about which we know nothing, other than that it belongs to the domain D . The term k is sometimes called an eigenvariable . An important constraint on this rule is that k cannot appear anywhere in P (or in any formula of the proof below the point where this rule is used. Example Proof: (1) x.likes ( x,fritos ) ( premise ) (2) x.likes ( x,fritos ) likes ( x,doritos ) ( premise ) (3) likes ( b,fritos ) ( elim1) (4) likes ( b,fritos ) likes ( b,doritos ) ( elim2) (5) likes ( b,doritos ) ( modusponens3 , 4) (6) x.likes ( x,doritos ) ( intro5)...
View
Full
Document
 Fall '08
 HAULLGREN

Click to edit the document details