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 B Scratchwork for Exercises
1 Sets
1.4 Exercises
1.4.1.
1.4.2.
2 A little logic
2.7 Exercises
2.7.9.
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.6.
3.5.7.
3.5.8.
3.5.9.
3.5.13.
3.5.16.
3.5.18.
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.18.
5.5.19.
5.5.20.
5.5.21.
5.5.22.
6 Quantifiers
6.6 Exercises
6.6.1.
6.6.4.
6.6.5.
6.6.6.
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.2.
7.3.3.
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.17.
7.3.20.
7.3.23.
7.3.24.
7.3.26.
7.3.27.
8 Return to sets
8.6 Exercises
8.6.2.
8.6.3.
8.6.4.
8.6.5.
8.6.6.
8.6.9.
8.6.10.
8.6.11.
8.6.12.
8.6.13.
8.6.15.
8.6.16.
8.6.17.
9 Relations
9.7 Exercises
9.7.4.
9.7.7.
9.7.13.
9.7.17.
9.7.18.
9.7.19.
10 Functions
10.8 Exercises
10.8.2.
10.8.3.
10.8.6.
10.8.7.
10.8.8.
10.8.15.
10.8.16.
10.8.20.
10.8.21.
10.8.25.
10.8.26.
11 Proof by contradiction
11.3 Exercises
11.3.1.
11.3.2.
11.3.3.
11.3.5.
11.3.6.
11.3.8.
11.3.10.
11.3.11.
11.3.13.
11.3.15.
11.3.16.
11.3.17.
11.3.18.
12 Cardinality
12.7 Exercises
12.7.3.
12.7.6.
12.7.8.
12.7.9.
12.7.10.
12.7.12.
12.7.13.
12.7.14.
12.7.15.
12.7.17.
12.7.18.
12.7.20.
