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

\emph{Exercise} State the rules of proof for the following two connectives: ∧ →

What is a logically valid argument?

What is ... logical consequence, a tautology, a contradiction, a counterexample, a subproof, ...

What is a proof?