# Lecture 3: More logic and quantifiers in sets

Taught by ArsDigita
• Currently 4.0/5 Stars.
5383 views | 2 ratings
Part of video series
Lesson Description:

• What are sets and what do sets have to do with logic?
• What do sets have to do with Computer Science?
• What is the empty set?
• What are subsets and Venn Diagrams?
• How do you prove that two sets are equal?
• How can you prove that AuB = BuA?
• How can you tell that sets are equal using pictures and Venn Diagrams?
• Why is AuB complement equal to A complement intersect B complement?
• How do you prove that A u (B1 ^ B2 ^ B3 ... Bn) = (A u B1) ^ (A u B2) ^ ... (A u Bn) using induction?
• How can you prove that 1^2 + 2^2 + 3^2 + ... + n^2 = n(n+1)(2n+1)/6?
• What is the Set Inclusion-Exclusion Theorem?
• How do you find the cardinality of the set A u B?
• What is |A u B u C|?
• What are some tricks to counting sets?
• How can you use the 3-set inclusion-exclusion theorem to find how many numbers between 1 and 1,000 are divisible by 3 or 5 or 7?
• #### Staff Review

• Currently 4.0/5 Stars.
This lesson is all about sets and how sets relate to logic that was covered in the previous two lessons. A bunch of examples are done and many sets are shown to be equal or equivalent using logic rules as well as Venn Diagram pictures. Some great proofs are done in sets. Counting and cardinality of sets is also covered in this lecture, and some really great and interesting examples are discussed, solved, and proved. This is a fun, useful lesson.