Originally Posted by

**aliceinwonderland** Below is my attempt: (I can't guarantee that it is 100% correct.)

a) There is a student in this class who can speak Hindu.

$\displaystyle \exists x$(Student(x) $\displaystyle \wedge$ Speaks(x, Hindu))

b) Every Student in this class plays some sport.

$\displaystyle \forall x$(Student(x) $\displaystyle \rightarrow \exists$y(Play(x,y) $\displaystyle \wedge$Sport(y))

c)Some student in this class have visited Alaska but have not visited Hawaii.

$\displaystyle \exists x$(Student(x) $\displaystyle \wedge$Visited(x, Alaska) $\displaystyle \wedge \neg$Visited(x, Hawaii))

d)All students in this class have learned at least one programming language.

$\displaystyle \forall x$(Student(x) $\displaystyle \rightarrow \exists$y(Learned(x,y) $\displaystyle \wedge$ProgLanguage(y))

e)There is a student in this class who has taken every course offered by one of the departments in this school.

$\displaystyle \exists x$(Student(x)$\displaystyle \wedge \forall y \exists z$((Taken(x,y)$\displaystyle \wedge$Course(y))$\displaystyle \rightarrow$(OfferedBy(y,z) $\displaystyle \wedge$Department(z)))

f)Some students in this class grew up in the same town as exactly one other student in this class.

$\displaystyle \exists x \exists y \exists z$(Student(x)$\displaystyle \wedge$Student(z) $\displaystyle \wedge$Grewup(x,y))$\displaystyle \wedge$Grewup(z,y)$\displaystyle \wedge$Town(y))$\displaystyle \wedge$$\displaystyle (x \neg = z))$

g)Every student in this class has chatted with one other student in at least one chat group.

$\displaystyle \forall x$(Student(x) $\displaystyle \wedge$Chatted(x,y)) $\displaystyle \wedge$ MemberOf(x,z) $\displaystyle \wedge$Chatgroup(z)$\displaystyle \rightarrow$$\displaystyle (y \neg = z) \rightarrow \neg$Chatted(x,z))