Confusion about notation regarding compliments/universal sets

Click For Summary
SUMMARY

This discussion clarifies the notation used in set theory, particularly regarding complements and universal sets. The notation with a line over a set indicates negation, while the union (A U B) encompasses all elements in either set A or set B. The distinction between "not in (A or B)" and "(not in A) or (not in B)" is emphasized through examples, illustrating how the logical structure affects the truth values of statements. The intersection symbol (∩) is defined as the common elements between sets, while a bar over (A U B) signifies elements in the universal set that are not included in A or B.

PREREQUISITES
  • Understanding of basic set theory concepts, including sets A and B.
  • Familiarity with logical operators such as union (U), intersection (∩), and negation.
  • Knowledge of universal sets and their role in set operations.
  • Ability to interpret mathematical notation and symbols used in set theory.
NEXT STEPS
  • Study the principles of set theory, focusing on complements and universal sets.
  • Learn about logical operators and their implications in mathematical statements.
  • Explore the concept of Venn diagrams to visualize set operations and relationships.
  • Investigate advanced topics in set theory, such as De Morgan's laws and their applications.
USEFUL FOR

Students of mathematics, educators teaching set theory, and anyone seeking to deepen their understanding of logical notation and set operations.

NecroWinter
Messages
8
Reaction score
0
Im not sure how to interpret the notation, specifically the one on the left, the one on the right seems like you just include everything in the universal set?

what does it mean when the line goes over everything? what does it even mean when the line is over the and/or symbol

set2.png
 
Physics news on Phys.org
Using the line is similar to using parentheses with statements.

For example, the meaning of " not in ( A or B)" is different than the meaning of "(not in A) or (not in B)"

Suppose a vase V is (not alabaster) and is blue.

Then it is is true that "(V is not alabaster) or (V is not blue)"
because V is not alabaster.

It is false that "V is not (alabaster or blue)"
because V is blue, hence it IS (alabaster or blue).
 
let us first understand the basic concepts involved-

A,B are the name of the sets involved

A U B refers to a collection that includes all elements that occur in A and (or) B i.e. those that occur in A only + those that occur in B only + those that occur in both of them

A bar over a set means that we've to take negation of that set.

\cap symbol means intersection and considers only those elements that are common to both the sets

now, a bar over whole of ( A U B ) means that we have to take those elements in father or universal set defined for the two sets which don't occur in the set ( A U B )

and the part b refers to the elements which are common between ( the elements contained in father set but not in set A ) and ( the elements contained in father set but not in set B )
 
If there are an infinite number of natural numbers, and an infinite number of fractions in between any two natural numbers, and an infinite number of fractions in between any two of those fractions, and an infinite number of fractions in between any two of those fractions, and an infinite number of fractions in between any two of those fractions, and... then that must mean that there are not only infinite infinities, but an infinite number of those infinities. and an infinite number of those...

Similar threads

  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 4 ·
Replies
4
Views
734
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 18 ·
Replies
18
Views
3K
  • · Replies 5 ·
Replies
5
Views
1K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K
Replies
1
Views
2K
  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 41 ·
2
Replies
41
Views
2K