Set Operations and Related Logic
Topics in Set Operations and Related Logic
Numbered in the order to learn them.
Set Union (∪) vs. Logic "OR" (∨) vs. "There Exists" (∃)
Set Intersection (∩) vs. Logic "AND" (∧) vs. "For All" (∀)
Disjoint Sets vs. Incompatible Statements
Set Complement vs. Logic "NOT" (¬)
Math "OR" vs. Math "XOR"
Partitions / Disjoint Unions (⊔)
Ordered Pairs, and Similar
Power Sets vs. (Later) Boolean Functions
Proof by Contrapositive vs. Subsets/Supersets Under Complements
Proof Technique: Casework
Sets and Logic: Proof by Contradiction
Proofs "Without Loss of Generality" (WLOG)