# test

• Jan 27th 2009, 02:20 PM
aliceinwonderland
test
test
• Jan 27th 2009, 02:24 PM
Mush
Quote:

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 \wedgeChatted(x,y)) \displaystyle \wedge MemberOf(x,z) \displaystyle \wedgeChatgroup(z)\displaystyle \rightarrow$$\displaystyle (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.

$\displaystyle \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.
• Jan 27th 2009, 02:33 PM
aliceinwonderland
Quote:

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.

$\displaystyle \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