Let I(x) be the statement "x has an Internet connection", let C(x,y) be the statement "x and y have chatted over the internet". Express each of the following statements in terms of I(x) and C(x,y), quantifiers, and logical connectives. Let the universe of discourse for the variables x and y consist of all students in your class. Put the appropriate letter next to the corresponding symbolic form.

 1. $\forall x \lnot C(x,Bob)$
 2. $\exists x (I(x) \wedge \forall y ( I(y) \rightarrow y=x))$
 3. $\exists x \exists y (y \not= x \wedge \lnot C(x,y)))$
 4. $\exists x \exists y (y \not= x \wedge \forall z \lnot (C(x,z)\wedge C(y,z))$
 5. $C(Jan,Sharon)$
 6. $\lnot (C(Rachel,Chelsea)$
 7. $\forall x (I(x)) \rightarrow \exists y ( x \not= y \wedge C(x,y))$
 8. $\exists x \lnot I(x)$

a) Rachel has not chatted over the internet with Chelsea.

b) Jan and Sharon have chatted over the internet.

c) No one in the class has chatted with Bob.

d) Someone in your class does not have internet connection.

e) There are two students in your class who have not chatted over the internet.

f) Exactly one student in your class has an internet connection.

g) Everyone in your class with an internet connection has chatted over the internet with at least one other student in your class.

h) There are at least two students in your class who have not chatted with the same person in your class.