Skip to main content\(\newcommand{\N}{\mathbb N}
\newcommand{\Z}{\mathbb Z}
\newcommand{\Q}{\mathbb Q}
\newcommand{\R}{\mathbb R}
\newcommand{\M}{\mathcal M}
\newcommand{\modulo}[3]{#1 \equiv #2 \pmod #3}
\newcommand{\notmodulo}[3]{#1 \not \equiv #2 \pmod #3}
\newcommand{\abs}[1]{\left| #1 \right|}
\newcommand{\dom}[1]{\text{ dom} ( #1 )}
\newcommand{\codom}[1]{\text{ codom} ( #1 )}
\newcommand{\range}[1]{\text{ range} ( #1 )}
\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\,}$}}}
\)
Constructing and Writing Mathematical Proofs: A Guide for Mathematics Students
Ted Sundstrom, Professor Emeritus
Department of Mathematics
Grand Valley State University
August 4, 2020