31/186
\begin{frame}
  \frametitle{Bracket Convention}
  
  \begin{block}{Priority Rules}
    \vspace{-1ex}
    \begin{talign}
      \neg &\quad \text{binds the strongest}\\
      \to &\quad \text{binds the weakest}\\
      \wedge,\vee &\quad \text{binding-strength is in-between}
    \end{talign}
  \end{block}
  \medskip\pause
  
  \begin{exampleblock}{}
    How do we read the following?
    \begin{talign}
      \mpause[0]{ p \wedge q \to r \quad &= \quad }
      \mpause{ (p \wedge q) \to r } \\
      \mpause{ \neg p \wedge r \quad &= \quad }
      \mpause{ (\neg p) \wedge r } \\
      \mpause{ p \wedge q \vee r \quad &= \quad }
      \mpause{ \text{\aemph{unclear! needs brackets!}} } \\
      \mpause{ p \wedge q \wedge r \quad &= \quad }
      \mpause{ (p \wedge q) \wedge r } 
      \mpause{ \quad = \quad p \wedge (q \wedge r) \quad \mpause{\text{(associativity)}}} \\ 
      \mpause{ p \to q \to r \quad &= \quad }
      \mpause{ \text{\aemph{unclear! needs brackets! (not associative)}} } 
    \end{talign}
  \end{exampleblock}
\end{frame}