Struggled q1a

[Matt]

The people live in WL area, so I am confused with the following 2 options:
exist x (in) WL, where (in) is the symbol like exist x (in) N, then x is
integer,
or
lives(x,WL), is true iff x lives in WL.

The question says "Use types in your formalization so that every
quantified variable has an associated type.", does it mean we should
define a set WL? or what does it mean?

[Peter van Beek]

Post by Matt
exist x (in) WL, where (in) is the symbol like exist x (in) N, then x is
integer,
or
lives(x,WL), is true iff x lives in WL.
The question says "Use types in your formalization so that every
quantified variable has an associated type.", does it mean we should
define a set WL? or what does it mean?

A few points:

- The notation for types is (using an example from class):

forall x : Person ...

- There are two properties that you want to capture here:
People (or person) and "Lives at Wisteria Lodge".

- You don't want different types for each sentence. You want to
identify types that can be used across all of the sentences.
This means that:

exists x : WisteriaLodgePeople ...

would not be appropriate, but

exists x : People ...

might be appropriate.

Peter