27/158
\begin{frame}
   \frametitle{Truth in Worlds}
  
  \begin{goal}{}
    \emph{Connectives} ${\neg},\; {\wedge},\; {\vee},\; {\to},\; {\ifo}$
    behave as in propositional logic.
  \end{goal}
  \pause\medskip
  
  \begin{exampleblock}{}
    \exampleA

    \begin{itemize}  
      \item  $w_1 \mpause[1]{\fc} \neg q$ 
             \tabto{4cm} \mpause[1]{since $w_1 \notfc q$}
             \pause\pause
      \item  $w_2 \mpause[1]{\fc} p \vee  q$
             \tabto{4cm} \mpause[1]{since $w_2 \fc q$}
             \pause\pause
      \item  $w_2 \mpause[1]{\notfc} q \to r$ 
             \tabto{4cm} \mpause[1]{since $w_2 \fc q$ \;and\; $w_2 \notfc r$}
             \pause\pause
      \item  $w_1 \mpause[1]{\fc} q \to r$ 
             \tabto{4cm} \mpause[1]{since $w_1 \notfc q$}
             \pause\pause
      \item  $w_3 \mpause[1]{\fc} p \wedge r$ 
             \tabto{4cm} \mpause[1]{since $w_3 \fc p$\; and \;$w_3 \fc r$}
    \end{itemize}    
  \end{exampleblock}
\end{frame}