This preview has intentionally blurred sections. Sign up to view the full version.
View Full Document
Unformatted text preview: Problem 1.18 LPL EXTRA CRED I T R I K SENGUPTA 1. Larger(capital(Indiana), capital(California)) Here the objects (x) that the names refer to are the names of states (which may be capitalized). We introduce the function “capital(x)” to denote the capital of x. Also, the relation symbol “Larger(x, y)” means “x is larger than y”. So the answer implies that the capital of Indiana is larger than that of California. 2. Death(mistress(Hitler), 1945) Here the objects (x) refer to the name of a person (which may be capitalized) and the objects (y) refer to numerical values corresponding to time in years. Thus a constraint on y is that it has to be a fourdigit whole number (of the form yyyy ). We introduce the function “mistress(x)” to denote “the mistress of x”. Also, the relation symbol “Death(x, y)” means “x died in the year y”. So the answer implies that the death of Hitler’s mistress was in 1945....
View
Full
Document
This note was uploaded on 05/03/2010 for the course PHI 201 at Princeton.
 '08
 DELIA

Click to edit the document details