% master copy of this template is in ~/class/
\documentclass[10pt]{amsart}
\usepackage{amssymb, latexsym,xspace}
\usepackage[pdftex]{graphicx}

%%%%%%%%%%%%%%%%%%%%%%%
%
% Change course, date, etc. here and the 
% header will be automatically generated.
%
%%%%%%%%%%%%%%%%%%%%%%%
\newcommand{\class}{Math 123}
\newcommand{\term}{Fall 2012}
\newcommand{\quiztitle}{Quiz 1}
\newcommand{\quizdate}{9/3/2012}
\newcommand{\timelimit}{20 Minutes}
%%%%%%%%%%%%%%%%%%%%


%%%%%% Small margin to leave room for students' work %%%%%%%
\usepackage[margin=0.75in,top=0.5in,
            nohead,
            pdftex]{geometry}

%%%%%% Various PDF commands; generally not needed in a quiz %%%%%%%
\usepackage[pdftex, colorlinks=true,
            linkcolor=blue, citecolor=blue,
            urlcolor=blue, letterpaper,
            pdftitle={},
            pdfpagemode=None]{hyperref}

%%%%% Avoid page numbers and spread the lines out a bit.
\pagestyle{empty}
\linespread{1.3}
\parindent 0ex

\begin{document}
%%%%%%%%% Header %%%%%%%%%%%
\textbf{\class \xspace\xspace \term \xspace\xspace - \quiztitle\\
\quizdate\xspace\xspace - \timelimit \hspace{1.5in} Name: }\\
\rule[1ex]{\textwidth}{.1pt}

Remember that your work is graded on the quality of your writing and explanation as well as the validity of the mathematics.

\vspace{1em}

\begin{enumerate}
\item (7 Points)  Use a truth table to verify the following tautology: $ \left[ p \vee (q \vee r) \right] \Leftrightarrow \left[ (p \vee q) \vee r \right]$.  \textit{Make sure to explain why your table proves the desired result.}

\vspace{4em}

\vfill

\item (7 Points)  Rewrite the following statement using logical symbols such as (but not limited to) $\forall$, $\exists$, $\ni$ and $\Rightarrow$ as appropriate.  Then write the negation of the statement, to explain when a function is not strictly increasing, using the same symbolism.  \\
\begin{center}
A function $f$ is \textit{strictly increasing} iff for every $x$ and for every $y$, if $x < y$, then $f(x) < f(y)$.
\end{center}

\vfill

\end{enumerate}


\end{document}
