Discrete math, proving the absorption law

Click For Summary
SUMMARY

The discussion focuses on proving the second absorption law in set theory, specifically that for any sets A and B, the equation A ∩ (A ∪ B) = A holds true. The proof involves demonstrating that A ∩ (A ∪ B) is a subset of A and that A is a subset of A ∩ (A ∪ B). The participants clarify that to establish equality between two sets, one must prove both subset relationships. The final proof confirms that both conditions are satisfied, thereby validating the absorption law.

PREREQUISITES
  • Understanding of set theory concepts, specifically intersections and unions.
  • Familiarity with the definitions of subsets and set equality.
  • Knowledge of logical reasoning and proof techniques in mathematics.
  • Basic understanding of mathematical notation used in set theory.
NEXT STEPS
  • Study the first absorption law: A ∪ (A ∩ B) = A.
  • Learn about other set identities and their proofs in discrete mathematics.
  • Explore techniques for constructing mathematical proofs, including direct proof and proof by contradiction.
  • Review examples of set theory applications in computer science and logic.
USEFUL FOR

Students of discrete mathematics, educators teaching set theory, and anyone interested in mathematical proofs and logical reasoning.

rubenhero
Messages
41
Reaction score
2

Homework Statement


Prove the second absorption law from Table 1 by showing
that if A and B are sets, then A ∩ (A ∪ B) = A.

Homework Equations


Absorption laws
A ∪ (A ∩ B) = A
A ∩ (A ∪ B) = A


The Attempt at a Solution


i will show A ∩ (A ∪ B) is a subset of A
x is any element in A ∩ (A ∪ B)
x is not an element in (A ∩ (A ∪ B))'
NOT ( x is an element in(A ∩ (A ∪ B))')
NOT (x is not an element in A ∩ (A ∪ B))
NOT (NOT (x is not an element in A ∩ (A ∪ B)))
x is a element in A
 
  • Like
Likes   Reactions: cack
Physics news on Phys.org
That's much too complicated. By definition of intersection, if x is in X\cap Y then x is in both X and Y. So if x is in A\cap (A\cup B) if follows immediately that x is in A.

Of course to prove "X= Y" you must prove X\subset Y and Y\subset X. You have proved that A\cap(A\cup B)\subset A. Now you must prove A\subset A\cap(A\cup B). Is x is in A then ...
 
thank you for your reply
so would the whole proof be

1.A ∩ (A ∪ B) is a subset of A
x is a element in A ∩ (A ∪ B)
x is a element in A by definition of intersection
Therefore A ∩ (A ∪ B) is a subset of A
2.A is a subset of A ∩ (A ∪ B)
x is a element in A
x is a element in A ∩ (A ∪ B) by definition of intersection
Therefore A is a subset of A ∩ (A ∪ B)
3.Since A ∩ (A ∪ B) is a subset of A and A is a subset of A ∩ (A ∪ B),
then A ∩ (A ∪ B) = A

is the proof basically proofing they are subsets of each other by reversing each term?
 
  • Like
Likes   Reactions: cack

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
Replies
8
Views
2K
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
Replies
1
Views
1K
  • · Replies 4 ·
Replies
4
Views
3K