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


Proofs about Proofs

let’s get meta

\textbf{If A ⊢ B then ⊢ A→B}
Proof Given a proof for A ⊢ B …
… we can turn it into a proof for ⊢ A→B:
\textbf{If ⊢ A→B then A ⊢ B}
\textbf{If A ⊢ B then A ⊢ ¬¬B}
\textbf{If A ⊢ C then A ⊢ B→C}
\textbf{If A ⊢ B and A ⊢ ¬C then A ⊢ ¬(B→C)}