24.241 Pset Template

\documentclass{article}
\usepackage[utf8]{inputenc}
\usepackage{amsmath}
\usepackage{nd3} %% This is package for typesetting derivations.

\title{24.241 Pset Template}
\author{Your MIT ID}
\date{\today}

\begin{document}

\maketitle

Here is an example derivation:

\begin{ND}[][][][][0.7\linewidth]
    \ndl{1}{$P \rightarrow Q$}{A}
    \ndl{2}{$P$}{A}
    \ndl{1,2}{$Q$}{1, 2 MP}
\end{ND}

It is produced with the following code:

\begin{verbatim}
\begin{ND}[][][][][0.7\linewidth]
    \ndl{1}{$P \rightarrow Q$}{A}
    \ndl{2}{$P$}{A}
    \ndl{1,2}{$Q$}{1, 2 MP}
\end{ND}
\end{verbatim}

The lines of the derivation are enclosed by the \verb|ND| environment: \verb|\begin{ND}|\ldots\verb|\end{ND}|. (The \verb|[][][][][0.7\linewidth]| part just sets the sizing of the derivation; it's optional.)

To typeset a line, use \verb|\ndl{|lines of the assumptions\verb|}{|sentence\verb|}{|rule of inference\verb|}|.

Mathmatical symbols need to be enclosed by \verb|$|s, e.g., \verb|$P \rightarrow Q$| for $P \rightarrow Q$.

Here are some of the symbols we'll use:

\begin{itemize}
    \item $\neg$: \verb|\neg|
    \item $\land$: \verb|\land|
    \item $\lor$: \verb|\lor|
    \item $\rightarrow$: \verb|\rightarrow|
    \item $\forall$: \verb|\forall|
    \item $\exists$: \verb|\exists|
\end{itemize}

\end{document}