Proof Example: A∧B therefore ¬(¬A∨¬B). | Logic I

--------

Notes for slide-4:

\subsection{slide-4}

--------

Notes for slide-5:

\subsection{slide-5}

--------

Notes for slide-6:

\subsection{slide-6}

--------

Notes for slide-7:

\subsection{slide-7}

--------

Notes for slide-8:

\subsection{slide-8}

--------

Notes for slide-9:

\subsection{slide-9}

--------

Notes for slide-10:

\subsection{slide-10}

--------

Notes for slide-11:

\subsection{slide-11}

--------

Notes for slide-12:

\subsection{slide-12}

--------

Notes for slide-13:

\subsection{slide-13}

--------

Notes for slide-14:

\subsection{slide-14}

--------

Notes for slide-15:

\subsection{slide-15}

--------

Notes for slide-16:

\subsection{slide-16}

--------

Notes for slide-17:

\subsection{slide-17}

--------

Notes for slide-18:

\subsection{slide-18}

--------

Notes for slide-19:

\subsection{slide-19}

--------

Notes for slide-20:

\subsection{slide-20}

--------

Notes for slide-21:

\subsection{slide-21}

--------

Notes for slide-22:

\subsection{slide-22}

--------

Notes for slide-23:

\subsection{slide-23}

--------

Notes for slide-24:

\subsection{slide-24}

--------

Notes for slide-25:

\subsection{slide-25}

--------

Notes for slide-26:

\subsection{slide-26}

--------

Notes for slide-27:

\subsection{slide-27}

--------

Notes for slide-28:

\subsection{slide-28}

--------

Notes for slide-29:

\subsection{slide-29}

--------

Notes for slide-30:

\subsection{slide-30}

--------

Notes for slide-31:

\subsection{slide-31}

--------

Notes for slide-32:

\subsection{slide-32}

--------

Notes for slide-33:

\subsection{slide-33}

--------

Notes for slide-34:

\subsection{slide-34}

--------

Notes for slide-35:

\subsection{slide-35}

--------

Notes for slide-36:

\subsection{slide-36}

--------

Notes for slide-37:

\subsection{slide-37}

--------

Notes for slide-38:

\subsection{slide-38}

--------

Notes for slide-39:

\subsection{slide-39}

--------

Notes for slide-40:

\subsection{slide-40}

--------

Notes for slide-41:

\subsection{slide-41}

--------

Notes for slide-42:

\subsection{slide-42}

--------

Notes for slide-43:

\subsection{slide-43}

--------

Notes for slide-44:

\subsection{slide-44}

--------

Notes for slide-45:

\subsection{slide-45}

--------

Notes for slide-46:

\subsection{slide-46}

--------

Notes for slide-47:

\subsection{slide-47}

--------

Notes for slide-48:

\subsection{slide-48}

--------

Notes for slide-49:

\subsection{slide-49}

--------

Notes for slide-50:

\subsection{slide-50}

--------

Notes for slide-51:

\subsection{slide-51}

--------

Notes for slide-52:

\subsection{slide-52}

--------

Notes for slide-53:

\subsection{slide-53}

\begin{center}

\includegraphics[scale=0.3]{img/unit_822_proof.png}

\end{center}

Press the right key for the next slide (or swipe left)

also ...

Press the left key to go backwards (or swipe right)

Press n to toggle whether notes are shown (no equivalent if you don't have a keyboard)

Press m or double tap to see a menu of slides

Proof Example: A∧B therefore ¬(¬A∨¬B).