Leonvv | Answers to 'How to Prove It: A Structured Approach'

Note that the answers are not complete and most likely some will be incorrect.

2 Quantificational Logic

2.1 Quantifiers

Image 1

2.2 Equivalences Involving Quantifiers

Image 1 Image 2 Image 3

2.3 More Operations on Sets

Image 1 Image 2 Image 3 Image 4

3 Proofs

3.1 Proof Strategies

Image 1 Image 2 Image 3 Image 4

3.2 Proofs Involving Negations and Conditionals

Image 1 Image 2 Image 3 Image 4 Image 5

3.3 Proofs Involving Quantifiers

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6

3.4 Proofs Involving Conjunctions and Biconditionals

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6 Image 7

3.5 Proofs Involving Disjunctions

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6 Image 7 Image 8 Image 9 Image 10 Image 11

3.6 Existence and Uniqueness Proofs

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6

3.7 More Examples of Proofs

Image 1 Image 2 Image 3 Image 4 Image 5

4 Relations

4.1 Ordered Pairs and Cartesian Products

Image 1 Image 2 Image 3

4.2 Relations

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6

4.3 More About Relations

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6

4.4 Ordering Relations

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6 Image 7

4.5 Closures

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6 Image 7 Image 8 Image 9 Image 10

4.6 Equivalence Relations

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6 Image 7 Image 8 Image 9

5 Functions

5.1 Functions

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6

5.2 One-to-one and Onto

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6 Image 7 Image 8

5.3 Inverses of Functions

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6

5.4 Images and Inverse Images: A Research Project

Image 1 Image 2

6 Mathematical Induction

6.1 Proof by Mathematical Induction

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6 Image 7 Image 8

6.2 More Examples

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6

6.3 Recursion

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6 Image 7 Image 8

6.4 Strong Induction

Image 1 Image 2 Image 3 Image 4 Image 5 Image 6 Image 7 Image 8

6.5 Closures Again

Image 1 Image 2 Image 3 Image 4

7 Infinite Sets

7.1 Equinumerous Sets

Image 1 Image 2 Image 3

7.2 Countable and Uncountable Sets

Image 1