Disproving the Statement: A Contradiction in Set Theory | Proof Help

Click For Summary
SUMMARY

The forum discussion centers on disproving the statement regarding subsets within the power set of a universal set, specifically that for all sets A, B, C ∈ P(U), if A ⊆ C and B ⊆ C, then A ⊆ B or B ⊆ A. The user successfully demonstrates the falsehood of this statement by providing a counterexample using sets A = {a, b, c}, B = A, and C = {b, c}. The proof concludes with the assertion that neither A nor B contains the other, thereby disproving the original claim.

PREREQUISITES
  • Understanding of set theory concepts, including universal sets and power sets.
  • Familiarity with subset notation and properties.
  • Knowledge of logical negation and contrapositives in mathematical proofs.
  • Ability to construct and analyze counterexamples in set theory.
NEXT STEPS
  • Study the properties of power sets in set theory.
  • Learn about logical negation and how to apply it in mathematical proofs.
  • Explore the concept of contrapositives and their utility in proving statements.
  • Practice constructing counterexamples to disprove mathematical statements.
USEFUL FOR

Mathematicians, students of mathematics, and anyone interested in set theory and logical proofs will benefit from this discussion.

INdeWATERS
Messages
17
Reaction score
0
I am having issues with a proof, as follows.
*U = universal set , P(U) = power set of a universal set

For all sets A, B, C ∈ P(U), if A ⊆ C and B ⊆ C, then A ⊆ B or B ⊆ A.

I am pretty sure the statement is false and so I have to disprove it, i.e. prove the negation. I am stuck on how to negate. My attempts are as follows...

(1) There exist sets A, B, C ∈ P(U) such that A ⊆ C or B ⊆ C and A ⊄ B and B ⊄ A.
(2) There exist sets A, B, C ∈ P(U) such that if A ⊆ C or B ⊆ C then A ⊄ B and B ⊄ A.

Would the contrapositive of the statement be easier to work with??
For all sets A, B, C ∈ P(U), if A ⊆ B or B ⊆ A then, A ⊆ C and B ⊆ C.

Thank you for your time and help!
 
Last edited:
Physics news on Phys.org
Take a pair of sets that are not empty and not overlapping and call them A and B. Let C = A∪B. Then obviously both A and B are contained in C, but neither contains the other.
 
It is really easy to disprove that with an example:

If you have a set as follows, A={a,b,c}, then the power set will be the next,

P(A)={empty,A,{a,b},{b,c},{a,c}}, then if you define B=A, C={b,c}, and D={a,c}, then C\subsetB and D\subsetB but C is not a subset of D, neither D is a subset of C.
q.e.d.

With that example the proff is done
 

Similar threads

  • · Replies 18 ·
Replies
18
Views
4K
  • · Replies 1 ·
Replies
1
Views
3K
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
1K
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 11 ·
Replies
11
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 7 ·
Replies
7
Views
2K