test

• January 27th 2009, 02:20 PM
aliceinwonderland
test
test
• January 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.
$\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.
• January 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.

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