Mathnotes Module 5
Mathnotes Module 5
○ Sets
■ Sets are a collection of distinct objects, called elements
● A universal set is a set that contains all elements we are
interested in. this would have to be defined by the context.
● A subset of Set A is another set that only contains elements from
Set A but may not contain all elements of Set A
● A proper subset is a subset that is not identical to the original set
as it contains fewer elements.
■ A set can be defined by describing the contents or by listing the elements
in brackets.
○ Union, Intersections, and complements of sets
■ A union of two sets contain all the elements contained in either set or both
sets.
■ The intersection only contains elements that are in both sets.
■ The complement of set A contains everything that is not in Set A.
○ Notations
■ ∊ means is an element of.
■ ∅ or { } is called the empty set, which means a set that
contains no elements.
■ ⊆ is used to describe subsets
■ ⊂ is used to describe proper subsets
■ ⋃ is used to describe a union of sets
■ ⋂ is used to describe the intersection of sets
■ A’, Ac, or ~A is used to describe the complete set of A
○ Example
■ Consider the sets: A = {red, green, blue}; B = {red, yellow, orange}; C =
{red, orange, yellow, green, blue, purple}
● Is set A ⊆ B? Is set A ⊂ B? No and no.
● Is set A ⊆ C? Is set A ⊂ C? Yes, and Yes.
● Find A ⋃ B Red, Orange, Yellow, Green, Blue.
● Find A ⋂ B. red
● Find Ac ⋂ C Orange, blue, yellow, Purple
● Consider these three sets: A = the set of all even numbers; B = {2,
4, 6}; C = {2, 3, 4, 6}
■ Consider these three sets: A = the set of all even numbers; B = {2, 4, 6};
C = {2, 3, 4, 6}
● Is set B ⊆ A? Is set B ⊂ A? Yes, and yes.
● Is set C ⊆ A? Is set C ⊂ A? No, and no.
● Find A ⋃ B 2,4,6,8,10
● Find A ⋂ B. 2, 4, 6
● Find Ac ⋂ C. 3
○ Operations with Sets
■ Set Operations can be grouped together. Grouping Symbols can be used
like Arithmatic to create an order of operations.
○ Example
■ Suppose H = {cat, dog, rabbit, mouse}, F = {dog, cow, duck, pig, rabbit}
W = {duck, rabbit, deer, frog, mouse}
● a) Find (H ⋂ F) ⋃ W Dog, rabbit, Duck, Frog, mouse.
● b) Find H ⋂ (F ⋃ W) {Dog, rabbit, mouse)
● c) Find (H ⋂ F)c ⋂ W {Duck, deer, Frog, mouse}
○ Venn diagrams
■ For the visualization of sets, in 1880 John venn would begin the use of
using overlapping circles, building on the ideas established by Leonard
Euhler in the previous century, to create what we now call venn diagrams.
■ A Venn diagram represents a set as a circle, usually in a box containing
the universal set, overlapping areas represent elements common to the
sets.
○ Examples
■ A survey asks 200 people “What beverage do you drink in the morning”,
and offers choices: (1) Tea only, (2) Coffee only, and (3) Both coffee and
tea. Suppose 20 report tea only, 80 report coffee only, 40 report both.
Use a Venn Diagram to answer the following questions:How many people
drink tea in the morning? How many people drink neither tea or coffee?
● 60 drink tea, with 60 drinking neither.
■ A survey asks: Which online services have you used in the last month:
Twitter, Facebook, Have used both. The results show 40% of those
surveyed have used Twitter, 70% have used Facebook, and 20% have
used both. how many people have used neither Twitter or Facebook?
● 30%
True True T
True False T
False True T
False False F
■ Here, this table shows the truth value of the complex statement by
showing the truth values of the simpler statements. As it is an “Or”
statement, it can be true is both statements are true, or if only one is true.
If both are false, then it is false.
○ Inverse, Converse, Contrapositive
■ The Original conditional is “if P then Q” (P->Q)
● The Converse then is “If Q then P”(Q ->P)
● The inverse is “If not P then not Q”(~P -> ~Q)
● The contrapositive then is “If not Q then not P” (~Q -> ~P)
○ Equivalence
■ A conditional statement and it’s contra positive are logically equivalent
■ The converse and inverse of a statement are logically equivalent then
■ The negation of a conditional statement is logically equivalent to a
conjunction of the antecedent and the negation of the consequent
■ ~(P->Q) is equivalent to P⋀~Q or Not (P then Q) is equivalent to
P and Not Q