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
All Squares Are Blue (Fast Version)
\begin{minipage}{\columnwidth}
\emph{∃ and ∧ work together}
Some square is blue:
∃x ( Square(x) ∧ Blue(x) )
Some of my things are broken:
∃x ( Belongs(a,x) ∧ Broken(x) )
\end{minipage}
\begin{minipage}{\columnwidth}
\emph{∀ and → work together}
All squares are blue:
∀x ( Square(x) → Blue(x) )
All my things are broken:
∀x ( Belongs(a,x) → Broken(x) )
\end{minipage}
9.16.10--9.16.15
9.17.7--9.17.15