For the exam on Friday, it would help you to do the following things:
 Learn the definitions you needed to know for the quiz. Know the definitions precisely. You should know the statements in formal language, as well as interpretations in words. E.g., $A\subseteq B$ means $(\forall x)(x\in A \implies x\in B)$ and this can be read as "every element in $A$ is also in $B$".
 "Do blankpaper practice" for the problems on the problem sets that have been handed back, and for the homework problems. Note: You should be able to do all the problems, including the hard ones. Avoid repeating a mistake you made before.
 Understand these challenging concepts:
 $\subseteq$ vs. $\in$ vs. $=$
 $A\subseteq B$ vs. $A\cap B$
 $\P(A)$, the power set of $A$
 $(\forall x)(P(x))$ vs. $\{\,x \mid P(x)\,\}$
 "For all $x$, $\ldots$" vs. "There exists an $x$ where $\ldots$"
 $(\forall x)(\exists y)(P(x,y))$ vs. $(\exists y)(\forall x)(P(x,y))$
 $P \And Q$ vs. $A\cap B$
 $P(x) \implies Q(x)$ vs. $\{\, x \mid P(x) \hbox{ and } Q(x) \,\}$
 Know the negations of the various types of propositions we've studied.
 Know the contrapositive, converse, and inverse, and which ones are equivalent.
 Know how to translate English into formal logic and vice versa.
 Know how to use mathematical induction.
 Know the proofs of these key examples. You should not memorize them, but should remember the central idea(s) and reconstruct the proof from that memorized core.
 if $A\subseteq B$ and $B\subseteq C$ then $A\subseteq C$.
 $\emptyset\subseteq A$ for all $A$.
 if $2\mathbin{}m^2$ then $2\mathbin{}m$.
 $\sqrt{2}$ is irrational.
 $(AB)\times C\subseteq (A\times C)(B\times C)$.
 $\P(A)\subseteq\P(B)$ if, and only if, $A\subseteq B$.

