# Thread: test

1. ## test

test

2. 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.
$\exists x$(Student(x) $\wedge$ Speaks(x, Hindu))

b) Every Student in this class plays some sport.
$\forall x$(Student(x) $\rightarrow \exists$y(Play(x,y) $\wedge$Sport(y))

c)Some student in this class have visited Alaska but have not visited Hawaii.
$\exists x$(Student(x) $\wedge$Visited(x, Alaska) $\wedge \neg$Visited(x, Hawaii))

d)All students in this class have learned at least one programming language.
$\forall x$(Student(x) $\rightarrow \exists$y(Learned(x,y) $\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.
$\exists x$(Student(x) $\wedge \forall y \exists z$((Taken(x,y) $\wedge$Course(y)) $\rightarrow$(OfferedBy(y,z) $\wedge$Department(z)))

f)Some students in this class grew up in the same town as exactly one other student in this class.
$\exists x \exists y \exists z$(Student(x) $\wedge$Student(z) $\wedge$Grewup(x,y)) $\wedge$Grewup(z,y) $\wedge$Town(y)) $\wedge$ $(x \neg = z))$

g)Every student in this class has chatted with one other student in at least one chat group.
$\forall x$(Student(x) $\wedge$Chatted(x,y)) $\wedge$ MemberOf(x,z) $\wedge$Chatgroup(z) $\rightarrow$ $(y \neg = z) \rightarrow \neg$Chatted(x,z))
You can put regular text in your latex code using the command \text{whatever you want to say}. It makes the text fit in a lot better with the other latex symbols.

$\exists x| (\text{Student}(x)\wedge \text{Speaks}(x, \text{Hindu}))$

This means you can fit your statements into one continuous code without having to break it up into pieces.

Click it to see the code.

3. Originally Posted by Mush
You can put regular text in your latex code using the command \text{whatever you want to say}. It makes the text fit in a lot better with the other latex symbols.

$\exists x| (\text{Student}(x)\wedge \text{Speaks}(x, \text{Hindu}))$

This means you can fit your statements into one continuous code without having to break it up into pieces.

Click it to see the code.
thanks