Sets: A\B can represent A union B?

  • Thread starter Thread starter KeepTrying
  • Start date Start date
  • Tags Tags
    Sets Union
Click For Summary
SUMMARY

The discussion centers on the operations of union, intersection, and complement in set theory, specifically using the operation A\B, which denotes "A occurs but B does not." It is established that A\B can be expressed in terms of intersection and complement, as shown by the equation A \backslash B = A \cap \bar{B}. The conversation emphasizes the importance of the order of operations and highlights that set difference is not associative, clarifying that (A\B)\C does not equal A\(B\C). The insights provided by user Tedjn were instrumental in resolving the problem efficiently.

PREREQUISITES
  • Understanding of set theory operations: union, intersection, and complement
  • Familiarity with set notation and terminology
  • Basic knowledge of truth tables and logical operations
  • Concept of the universe of discourse in set theory
NEXT STEPS
  • Research the properties of set operations, focusing on non-associativity of set difference
  • Explore the use of truth tables in proving set identities
  • Learn about logical operators such as NAND and NOR and their applications in set theory
  • Study the implications of the universe of discourse in set operations and its role in complements
USEFUL FOR

Mathematicians, computer scientists, and students studying discrete mathematics or set theory who are looking to deepen their understanding of set operations and their logical foundations.

KeepTrying
Messages
2
Reaction score
0
As a event A\B stands for "A occurs but B does not." Show that the operations of union, intersection and complement can all be expressed using only this operation.A \backslash B = A \cap \bar{B}

So far I have resorted to making a truth table with a bunch of A\B combinations that look at A\B, (A\B)\B, ((A\B)\B)\B), and so on. I don't see anything very interesting with this approach. What is a more logical way to look at this problem? If I could find a "nand" or "nor" combination, then I could make any operator. Do I just have to stumble on to it?

Thanks!
 
Last edited:
Physics news on Phys.org
The order I would suggest you do this in is complement, union, intersection. A logical way to organize your work is to use complement in doing union and using union to do intersection. It is important, by the way, to remember that set difference is not associative. That is, (A\B)\C is not in general equal to A\(B\C). However, A\B = (A\B)\B = ((A\B)\B)\B = ..., which you can see from thinking about the elements in those sets.

EDIT: Also, remember that complement is really an operation involving two sets, A and the universe of discourse X.
 
Last edited:
Thank you Tedjn. The order you suggested and the tip at the very end helped me solve this problem quickly.
 

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K
  • · Replies 3 ·
Replies
3
Views
9K
  • · Replies 4 ·
Replies
4
Views
2K