These exercises are supposed to be handed in on Tuesday April 14. Late exercises will receive one-point penalty per extra day. The exercises cover chapter two and sections one and two of chapter three of the course book by Partee, Ter Meulen and Wall.
Because of the limitation of the range of characters in HTML I cannot display every character I need. I will use the following replacements in this exercise:
A' the complement of set A idA the identity function in set A R-1 the inverse of relation R AxB the Cartesian product of set A and set B RoS the composition of relation R and relation S x in A x is an element of A
In these exercises we will use the definitions for one set A and five relations R, S, T, U and V from A to A.
A={a,b,d,k} R={<x,y>|<x,y> in AxA and (x=a or y=a)} S={<a,b>,<b,d>,<d,k>,<k,k>} T={<a,d>,<b,k>,<d,a>,<k,b>} U={<a,b>,<b,d>,<d,k>,<k,a>} V=AxA
Each exercise is worth one point. Note that in exercises 5, 8, 9 and 10 the relations may have more than one property.