Logically Prove (A \cup B) \subseteq C

[ajsingh]

Homework Statement

To prove A \subseteq C and B \subseteq C implies (A \cup B)\subseteq C

2. The attempt at a solution

I just wanted to know if my reasoning seems logical. Here is my attempt:

Assume A \subseteq C and B \subseteq C ... (1)
Assume \forall x [ x\in A] and \forall x [x \in B] ... (2)
Hence, from definition of \bigcup \forall x [x \in A \cup B ] ... (3)

From (1) and defination of \subseteq, \forall x [ x \in A \Rightarrow x \in C and x \in B \Rightarrow x \in C ] ..... (4)

Hence, \forall x [x \in A \cup B \Rightarrow x \in C] ..... (5)

\Rightarrow (A \cup B) \subseteq C<br /> <br />

Does that seem to flow logically?

Thanks

 

[Nevetsman]

Hi Ajsingh!

I think your progression is correct except for premise 2. You say that x is an element of A, AND, x is an element of B. That can be true, but it doesn't have to be true. I recommend switching the AND to an OR. After you make that change, I don't see any fault in your logic. I also think it flows better if you switch premises 3 and 4. I know it's semantics but the progression seems better to me.

I also want to point out that unless specified in the problem, it might be enough to simply demonstrate that this proof is true. What if you assigned C={1,2,3,4,5}, A={1,2,3}, B={3,4}

A is a subset of C. B is a subset of C, A U B = {1,2,3,4} which also is a subset of C. Proved. I mention this, because it also shows a contradiction to your premise #2. Namely, 4 is an element of B but NOT an element of A.

Hope this helps!

Steve

 

[HallsofIvy]

Homework Statement

To prove A \subseteq C and B \subseteq C implies (A \cup B)\subseteq C

2. The attempt at a solution

You want to prove one set is a subset of another. The standard way of doing that is to say "if x in the first set" and show "therefore x is in the second set".

I just wanted to know if my reasoning seems logical. Here is my attempt:

Assume A \subseteq C and B \subseteq C ... (1)

While this isn't, strictly speaking, wrong, you don't need to "assume" that- it is given.

Assume \forall x [ x\in A] and \forall x [x \in B] ... (2)

Now you don't want to say that! For one thing, A and B might be disjoint- there might be no such x! What you want to say is "Assume x\in A\cup B.

Hence, from definition of \bigcup \forall x [x \in A \cup B ] ... (3)
x doesn't have to be in both A and B in order to be in A\cup B!

[quote\From (1) and defination of \subseteq, \forall x [ x \in A \Rightarrow x \in C and x \in B \Rightarrow x \in C ] ..... (4)

You are going the wrong way. Starting from the assumption that a\in A \cup B it follows that either x\in A or x\in B.

Hence, \forall x [x \in A \cup B \Rightarrow x \in C] ..... (5)

\Rightarrow (A \cup B) \subseteq C<br /> <br />

Does that seem to flow logically?

Thanks