Discussion about math, puzzles, games and fun. Useful symbols: ÷ × ½ √ ∞ ≠ ≤ ≥ ≈ ⇒ ± ∈ Δ θ ∴ ∑ ∫ • π ƒ ¹ ² ³ °
 

You are not logged in. Post a replyTopic review (newest first)
I agree with Bob that the implies interpretation is the most sensible.
I believe these are the answer:
hi mrpace and Steve That is \supset Q8 then reads " for all x, being in T implies being in H and in Q" There is certainly a sentence version of that. An 'and' can be made using \wedge You can use + for 'or' (although I don't like it as it looks like 'and' to me) And finally, for not you can use \tilde{} If you put something inside the curly brackets the squiggle is put over the something eg Hope that helps, Bob
With the statement (h) this to my mind reads "There exists at least one person x who is (happy and a theatre goer and is quiet)". Code:[math]\exists x \text{ such that } H(x) \text{ and } T(x) \text { and } Q(x)[/math] When you have used the ~ symbol does this mean "not" or "a negation of" ?
I wonder whether this means "is a subset of" or "is a proper subset of". (a "proper subset" of means "smaller subset" of)
hi mrpace
I'm not very good at english,do you want to match the two kinds of statements?
given that 'H' means "is happy", Q means "is quiet" and T means "is a theatregoer", match the lists when the universe of discourse is people. 