\begin{frame} \frametitle{Bracket Convention} \begin{block}{Priority Rules} \vspace{-1ex} \begin{talign} \neg &\quad \text{binds the strongest} \\ \wedge,\vee &\quad \text{binding-strength is in-between} \\ \to &\quad \text{binds the weakest} \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}