Set Operations and Related Logic
Read this topicSubtopics
- 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)