%%PRPROB1-PROBS.TEX, 6042 F01

\begin{problems}
\problem Rosen, 1.1.8 (a,d,e,f) %truth table
\solnospace{(a) $r \land \neg q$, (d) $p \land \neg q \land r$ (e) $(p
\land q) \implies r$ (f) $r \iff (q \lor p)$.}

\problem Rosen 1.3.10 (b,d) %quantifiers
\solnospace{(b) $\neg \exists x \exists y\; Q(x,y)$, (d) $\forall y
\exists x\; Q(x, y)$.}

\problem Rosen 1.5.4. %set ops
\solnospace{(a) $\set{a,b,c,d,e,f,g,h}$, (b) $\set{a,b,c,d,e}$, (c)
$\emptyset$, (d) $\set{f,g,h}$.}

\problem Vellemen 2.1.4 (a,b,c) %quantifiers
\solnospace{(a) T, (b) F, (c) F.}

\problem Vellemen 2.3.7. %set ops, powerset
\solnospace{Any sets $A$ and $B$ such that both $A-B$ and $B-A$ are not empty.}
\end{problems}
