Types of Proofs
摘要
This chapter introduces the basic proof techniques: formal logic proofs, mathematical induction proofs, pigeonhole principle proofs, proofs by contradiction, and diagonalization proofs.