ProofSpace
Table of Contents
ProofSpace by Aaron Heap and Suraj Uttamchandani, SUNY Geneseo is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License.
Ch1: Preliminaries
Sec 1: Logic
Sec 2: Conditionals
Sec 3: Writing Guides
Sec 4: Logical Equiv.
Sec 5: Quantifiers
Ch2: Proof Techniques
Sec 1: Direct
Sec 2: Indirect
Sec 3: Cases
Sec 4: Induction
Ch3: Sets
Sec 1: Intro to Sets
Sec 2: Set Relationships
Sec 3: Set Operations
Sec 4: Indexed Sets
Ch4: Functions
Sec 1: Basic Concepts
Sec 2: Bijections
Sec 3: Composition and Inverses
Sec 4: Cardinality
Ch5: Relations
Sec 1: Equivalence Relations
Sec 2: Equiavalence Classes
Sec 3: n-ary Relations
Ch6: Extra Topics