20 lines
624 B
TeX
20 lines
624 B
TeX
\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}
|