1.
Chapter 1
1.1.
Describing a Set
1.2.
Subsets
1.3.
Set Operations
1.4.
Indexed Collections of Sets
1.5.
Partitions of Sets
1.6.
Cartesian Products of Sets
2.
Chapter 2
2.1.
Statements
2.2.
Negations
2.3.
Disjunctions & Conjunctions
2.4.
Implications
2.5.
More on Implications
2.6.
Biconditionals
2.7.
Tautologies and Contradictions
2.8.
Logical Equivalence
2.9.
Fundamental Properties of Logical Equivalence
2.10.
Quantified Statements
2.11.
Characterizations
3.
Chapter 3
3.1.
Trivial and Vacuous Proofs
3.2.
Direct Proofs
3.3.
Proof by Contrapositive
3.4.
Proof by Cases
3.5.
Proof Evaluations
4.
Chapter 4
4.1.
Proofs Involving Divisibility of Integers
4.2.
Proofs Involving Congruence of Integers
4.3.
Proofs Involving Real Numbers
Light (default)
Rust
Coal
Navy
Ayu
MATH301 - Sets & Proof
Negations
not P
~ P