\input{decls.tex}
\title{Essential Logic}
\begin{document}
\maketitle
\begin{description}
\item[Statement] Something which is either \emph{true} or \emph{false} \\
Often dependent on variables from some universe; labelled $P$, $Q$, ...
\end{description}
\section*{Logical Connectives}
\begin{description}
\item[$\neg P$] NOT
\item[$P \land Q$] Conjunction / AND
\item[$P \lor Q$] Disjunction / OR
\item[$P \implies Q$] Implication / IF
\item[$P \iff Q$] IFF
\item[Contrapositive of $P \implies Q$:] $\neg Q \implies \neg P$ \\
	$\neg Q \implies \neg P \equiv P \implies Q \quad\forall P, Q$
\end{description}
\end{document}
