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