You are Here: Home >< Maths

# Simplicity can't prove it watch

1. (Original post by generalebriety)
If A is a proper subset of B, then there is an element of B that is not in A, but there is not necessarily a unique element of B that is not in A. "Unique" means "one, and only one".
Yeah, I know my mistake of using unique as it means only one. I guess I need to be careful with my language.

Thanks for the contrapositon.

Couldn't you write

=>

Is this correct? it seems correct.
2. (Original post by Simplicity)
Yeah, I know my mistake of using unique as it means only one. I guess I need to be careful with my language.

Thanks for the contrapositon.

Couldn't you write

=>

Is this correct? it seems correct.
[On the second statement] For all sets is not possible (as all x in are in A, by definition, I think), but it's true for all sets that .
3. (Original post by Simplicity)
No. What does even mean here? And even if we're in a system where taking complements makes sense, the opposite of is not . For example, the sets A = {1, 2}, B = {2, 3}.

(Original post by Simplicity)
=>
No. Where on earth are you getting this from? It's just not right, and I can't explain why, because it seems to have come from nowhere.

You seem to be having a very big problem with set inclusion. It's not a total order relation. Given any two real numbers x and y, you know that x < y, x = y or x > y; you don't have a similar property with sets. Given two non-empty sets A and B, you know that A and B are disjoint, or A and B have non-empty intersection but . And it gets worse when you start playing about with the empty set, because you can then have several of those holding true at once.

So, your implication that "A is not equal to B" is the same thing as " strictly contains A or is strictly contained in A" is simply false. It will never strictly contain A (because all of the elements in it are also in A); it might be strictly contained in A, but it might also be A itself.

Edit: typo.
4. I have a large amount of respect for your patience.
5. (Original post by generalebriety)
No. What does even mean here? And even if we're in a system where taking complements makes sense, the opposite of is not . For example, the sets A = {1, 2}, B = {2, 3}.

No. Where on earth are you getting this from? It's just not right, and I can't explain why, because it seems to have come from nowhere.

You seem to be having a very big problem with set inclusion. It's not a total order relation. Given any two real numbers x and y, you know that x < y, x = y or x > y; you don't have a similar property with sets. Given two non-empty sets A and B, you know that A and B are disjoint, or A and B have non-empty intersection but . And it gets worse when you start playing about with the empty set, because you can then have several of those holding true at once.

So, your implication that "A is not equal to B" is the same thing as " strictly contains A or is strictly contained in A" is simply false. It will never strictly contain A (because all of the elements in it are also in A); it might be strictly contained in A, but it might also be A itself.

Edit: typo.
6. (Original post by Totally Tom)
There are situations where and .

Not very well worded, I agree. But Simplicity attempted to negate the sentence with .
7. Yeah, I see the error in thinking.

I was trying to generalise this.

So to prove that generally you show
and
=>

However, yeah I see you can't generalise it to what I'm doing.

(Original post by generalebriety)
No. What does even mean here? And even if we're in a system where taking complements makes sense, the opposite of is not . For example, the sets A = {1, 2}, B = {2, 3}.
I don't know what you mean. The book has , yeah its the complement. So I don't see why this is wrong

=>

Surely, the book has
.

So I don't see the problem with that. Although, I do see the problem of splitting not equal into two subsets as that doesn't make sense.
8. (Original post by Simplicity)
I don't know what you mean. The book has , yeah its the complement.
The complement doesn't always make sense, though - we have to be working in a given system for it to make sense. Like in a probabilistic situation, for instance. What's the complement of {12, pi, Q, monkey}? Or is this work on set theory purely limited to stuff we already know? Because if so, it's a bit pointless.

(Original post by Simplicity)
This isn't true, though. You were trying to negate the sentence "A is contained in B", i.e. "for all x in A, x is in B". The negation is simply "A is not contained in B", i.e. "there is some x in A such that x is not in B".

(Original post by Simplicity)
Surely, the book has
.
That's correct.
9. (Original post by generalebriety)
The complement doesn't always make sense, though - we have to be working in a given system for it to make sense. Like in a probabilistic situation, for instance. What's the complement of {12, pi, Q, monkey}? Or is this work on set theory purely limited to stuff we already know? Because if so, it's a bit pointless.
Yeah, I do get what your saying. Okay. I guess you would have to specify a set U.

(Original post by generalebriety)
This isn't true, though. You were trying to negate the sentence "A is contained in B", i.e. "for all x in A, x is in B". The negation is simply "A is not contained in B", i.e. "there is some x in A such that x is not in B".
Yeah, I get what your saying. I should really put on a dunce hat for being so stupid.

### Related university courses

TSR Support Team

We have a brilliant team of more than 60 Support Team members looking after discussions on The Student Room, helping to make it a fun, safe and useful place to hang out.

This forum is supported by:
Updated: July 24, 2009
Today on TSR

### He lied about his age

Thought he was 19... really he's 14

### University open days

Wed, 25 Jul '18
2. University of Buckingham
Wed, 25 Jul '18
3. Bournemouth University
Wed, 1 Aug '18
Poll
Useful resources

### Maths Forum posting guidelines

Not sure where to post? Read the updated guidelines here

### How to use LaTex

Writing equations the easy way

### Study habits of A* students

Top tips from students who have already aced their exams