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

 

Scope

The \emph{scope} of a connective (token) is the sentence containing it lowest in the tree.
The connective with \emph{widest scope} is the one whose scope is the whole sentence.
A rule of proof can only be applied to the connective with widest scope.
When we do truth tables, the order we do the columns in is determined by scope.
3.14
3.15