\documentclass{article}
\input{../notes/preamble.tex}

\begin{document}


Things to prove:
\begin{itemize}
	\item Ask: how do we say "$n$ is even"? 
	\item Direct Proof: $\A n\in\Z \stt n(n+1)\mbox{ is even}$
	\item Ask: how do we say $n$ is rational?
	\item Proof by contradiction: $\E x\in\R \stt \neg(x\mbox{ is rational}$
	\item Proof by exhaustion: $\E x\in \R \st \E y\in\R \stt \neg(x\mbox{ is rational} \oand \neg(y\mbox{ is rational})) \oand x^y\mbox{ is rational}$
	\item Ask: how do we say $n$ divides $k$?
	\item $\E z\in \Z \st \A m\in \Z \stt z\mbox{ divides } m$
	\item Ask: how do we say $p$ is prime? 
	\item $\E! m\stt m\mbox{ is prime} \oand m\mbox{ is even}$
	\item Summation Notation
	\item $\A n\in \N \E m\in \N \sum_{i=1}^m \frac{1}{i} \geq n$
\end{itemize}

\end{document}
