CS151 Class Test 2, 27 October 2005, 17:00
Sample solutions <<Comments to correctors in brackets>>

1. t
2. t
3. t
4. t
5. t
6. t
7. f

8. Exhaustive proof because A is finite and small.
a is in A, and a is in B because Mary is a girl's name
e is in A, and e is in B because Anne is a girl's name
i is in A, and i is in B because Annie is a girl's name
o is in A, and o is in B because Orla is a girl's name
u is in A, and u is in B because Prudence is a girl's name
Therefore A is a subset of B.
<<Basically, if they've anything like this give them full marks. Use your judgement in all other cases, and that's fine if
you're consistent in your marking.>>

9. m is in B because Mary is a girl's name. m is not in A. Therefore, B is not a subset of A.