CLASS TEST #5								           13-4-05

Answer one of the following:

1.	Lambdas come handy in creating names for functions. How would you name the functions that are the denotations of 

every man	λQ∀x[P(x )→ Q(x)]

some man	λQx[P(x) & Q(x)]

and

some		λPλQx[P(x) & Q(x)]

using lambdas? [Remember we are not into intensions yet. So names and variables just denote entities, and predicates denote sets of individuals or sets of n-tuples.]

You will get an “A” if you get the first two correct. If you also get the last one, which is not discussed in chapter 4 but can be deduced from what is discussed there, 	then you are indeed a whiz-kid and surely deserve an “A+”. Don’t panic. You can do it. Good luck!

2.	How are nouns treated in Wordnet? Write no more than one page.