13/186
\begin{frame}
  \frametitle{Propositional Logic: Introduction}
  
  \begin{exampleblock}{}
  \begin{itemize}
    \item 
      \emph{If} it rains 
      \emph{and} Janneke does \emph{not} have her umbrella,\\
      \emph{then} she is wet.
  \pause\smallskip
    \item 
      Janneke is \emph{not} wet.
  \pause
    \item 
      It rains.
  \end{itemize}
  \pause\smallskip
  \aemph{Thus}, \pause Janneke has her umbrella. 
  \end{exampleblock}
  
  \pause\bigskip
  We can translate this to propositional logic as follows:
  \begin{align*}
    r &:\quad \text{It rains.}\\
    u &:\quad \text{Janneke has her umbrella.}\\
    w &:\quad \text{Janneke is wet.}
  \end{align*}
  \pause
  
  Then the sentences above becomes:
  \begin{align*}
    \mpause[1]{ (r \wedge \neg u) \to w }
    \mpause{, \;\; \neg w }
    \mpause{,\;\; r \quad }
    \mpause{ \models \quad u }
  \end{align*}
  
\end{frame}