Skip to main content\(\require{cancel}\require{upgreek} \newcommand{\ds}{\displaystyle}
\renewcommand{\textcolor}[2]{{\color{#1}{#2}}}
\newcommand{\es}{ {\varnothing}}
\newcommand{\st}{ \;\mathrm{s.t.}\; }
\newcommand{\so}{ \;\mid\; }
\newcommand{\pow}[1]{ \mathcal{P}\left(#1\right) }
\newcommand{\set}[1]{ \left\{#1\right\} }
\renewcommand{\neg}{\sim}
\newcommand{\rel}[1][R]{\;\mathcal{#1}\;}
\newcommand{\nrel}[1][R]{\;\cancel{\mathcal{#1}}\;}
\newcommand{\dee}[1]{\mathrm{d}#1}
\newcommand{\diff}[2]{\dfrac{\mathrm{d}#1}{\mathrm{d}#2}}
\renewcommand{\mod}[1]{\ (\mathrm{mod}\ #1)}
\newcommand{\lcm}{\mathrm{lcm}}
\let\oldepsilon\epsilon
\renewcommand{\epsilon}{\varepsilon}
\newcommand{\ceil}[1]{\left\lceil #1 \right\rceil}
\newcommand{\lt}{<}
\newcommand{\gt}{>}
\newcommand{\amp}{&}
\definecolor{fillinmathshade}{gray}{0.9}
\newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}}
\)
Appendix C Solutions to Exercises
1 Sets
1.4 Exercises
1.4.1.
1.4.2.
1.4.3.
1.4.4.
1.4.5.
1.4.6.
1.4.7.
1.4.8.
1.4.9.
2 A little logic
2.7 Exercises
2.7.1.
2.7.2.
2.7.3.
2.7.4.
2.7.5.
2.7.6.
2.7.7.
2.7.8.
2.7.9.
2.7.10.
2.7.11.
2.7.12.
2.7.13.
2.7.14.
2.7.15.
2.7.16.
3 Direct proofs
3.5 Exercises
3.5.1.
3.5.2.
3.5.3.
3.5.4.
3.5.5.
3.5.6.
3.5.7.
3.5.8.
3.5.9.
3.5.10.
3.5.11.
3.5.12.
3.5.13.
3.5.14.
3.5.15.
3.5.16.
3.5.17.
3.5.18.
4 More logic
4.3 Exercises
4.3.1.
4.3.2.
4.3.3.
5 More proofs
5.5 Exercises
5.5.1.
5.5.2.
5.5.3.
5.5.4.
5.5.5.
5.5.6.
5.5.7.
5.5.8.
5.5.9.
5.5.10.
5.5.11.
5.5.12.
5.5.13.
5.5.14.
5.5.15.
5.5.16.
5.5.17.
5.5.18.
5.5.19.
5.5.20.
5.5.21.
5.5.22.
6 Quantifiers
6.6 Exercises
6.6.1.
6.6.2.
6.6.3.
6.6.4.
6.6.5.
6.6.6.
6.6.7.
6.6.8.
6.6.9.
6.6.10.
6.6.11.
6.6.12.
6.6.13.
6.6.14.
6.6.15.
6.6.16.
6.6.17.
6.6.18.
6.6.19.
6.6.20.
6.6.21.
6.6.22.
6.6.23.
6.6.24.
6.6.25.
7 Induction
7.3 Exercises
7.3.1.
7.3.2.
7.3.3.
7.3.4.
7.3.5.
7.3.6.
7.3.7.
7.3.8.
7.3.9.
7.3.10.
7.3.11.
7.3.12.
7.3.13.
7.3.14.
7.3.15.
7.3.16.
7.3.17.
7.3.18.
7.3.19.
7.3.20.
7.3.21.
7.3.22.
7.3.23.
7.3.24.
7.3.25.
7.3.26.
7.3.27.
7.3.28.
7.3.29.
8 Return to sets
8.6 Exercises
8.6.1.
8.6.2.
8.6.3.
8.6.4.
8.6.5.
8.6.6.
8.6.7.
8.6.8.
8.6.9.
8.6.10.
8.6.11.
8.6.12.
8.6.13.
8.6.14.
8.6.15.
8.6.16.
8.6.17.
9 Relations
9.7 Exercises
9.7.1.
9.7.2.
9.7.3.
9.7.4.
9.7.5.
9.7.6.
9.7.7.
9.7.8.
9.7.9.
9.7.10.
9.7.11.
9.7.12.
9.7.13.
9.7.14.
9.7.15.
9.7.16.
9.7.17.
9.7.18.
9.7.19.
9.7.20.
10 Functions
10.8 Exercises
10.8.1.
10.8.2.
10.8.3.
10.8.4.
10.8.5.
10.8.6.
10.8.7.
10.8.8.
10.8.9.
10.8.10.
10.8.11.
10.8.12.
10.8.13.
10.8.14.
10.8.15.
10.8.16.
10.8.17.
10.8.18.
10.8.19.
10.8.20.
10.8.21.
10.8.22.
10.8.23.
10.8.24.
10.8.25.
10.8.26.
10.8.27.
11 Proof by contradiction
11.3 Exercises
11.3.1.
11.3.2.
11.3.3.
11.3.4.
11.3.5.
11.3.6.
11.3.7.
11.3.8.
11.3.9.
11.3.10.
11.3.11.
11.3.12.
11.3.13.
11.3.14.
11.3.15.
11.3.16.
11.3.17.
11.3.18.
11.3.19.
12 Cardinality
12.7 Exercises
12.7.1.
12.7.2.
12.7.3.
12.7.4.
12.7.5.
12.7.6.
12.7.7.
12.7.8.
12.7.9.
12.7.10.
12.7.11.
12.7.12.
12.7.13.
12.7.14.
12.7.15.
12.7.16.
12.7.17.
12.7.18.
12.7.19.
12.7.20.
12.7.21.
