The first is a pretty simple enumerate environment for solutions to multi-part questions, defined as follows:
Code: Select all
\newenvironment{solutionenum}
{
\begin{enumerate}[a)]
\setlength{\itemsep}{1.5pt}
\setlength{\parskip}{0pt}
\setlength{\parsep}{0pt}
}
{\end{enumerate}}
Code: Select all
\newenvironment{solutiontable}
{\def\arraystretch{1.3} \tabularx{\linewidth}{l | l}}
{\endtabularx}
Code: Select all
\begin{solutionenum}
\item
\begin{solutiontable}
$[\neg p \wedge (p\vee q)] \rightarrow q$ & Hypothesis \\
$(\neg p \wedge p)\vee (\neg p \wedge q) \rightarrow q$ & Distributive property. \\
etc...
\end{solutiontable}
\end{solutionenum}