\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}