Chapter2 SC Part 2 PDF
Chapter2 SC Part 2 PDF
2
Section Summary
Set Operations
Union
Intersection
Complementation
Difference
More on Set Cardinality
Set Identities
Proving Identities
Membership Tables
Boolean Algebra
Propositional calculus and set theory are both
instances of an algebraic system called a Boolean
Algebra.
The operators in set theory are analogous to the
corresponding operator in propositional calculus.
As always there must be a universal set U. All sets are
assumed to be subsets of U.
Union
Definition: Let A and B be sets. The union of the sets A
and B, denoted by A ∪ B, is the set:
U
A B
Intersection
Definition: The intersection of sets A and B, denoted
by A ∩ B, is
Example: What is A ∩ B ∩ C?
The set A ∩ B ∩ C contains those elements in all three of A, B, and
C. Thus,
A ∩ B ∩ C = {0}.