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

 

Revison: Definitions

\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?