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

You are not logged in. #1 20130521 09:30:03
does anyone know logic?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. Last edited by mrpace (20130521 09:43:20) #3 20130521 17:02:13
Re: does anyone know logic?hi mrpace You cannot teach a man anything; you can only help him find it within himself..........Galileo Galilei #4 20130521 19:46:20
Re: does anyone know logic?
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) Last edited by SteveB (20130521 20:17:29) #5 20130521 20:21:33
Re: does anyone know logic?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 You cannot teach a man anything; you can only help him find it within himself..........Galileo Galilei #7 20130521 21:59:13
Re: does anyone know logic?I agree with Bob that the implies interpretation is the most sensible. Last edited by SteveB (20130521 22:22:07) 