\begin{frame}
  \frametitle{Examples Semantic Entailment}

  \begin{alertgoal}{}
    Which of the following semantic entailments hold?
    \begin{itemize}
    \pause\smallskip
      \item $p \vee q,\; q \;\models\; p \to q$ \quad ? 
        % yes
    \pause\smallskip
      \item $q \;\models\; p \to q$ \quad ?
        % yes
    \pause\smallskip
      \item $p \;\models\; p \to q$ \quad ?
        % no
    \pause\smallskip
      \item $p \to q \;\models\; p$ \quad ?
        % no
    \pause\smallskip
      \item $p \to q \;\models\; q$ \quad ?
        % no  
    \pause\smallskip
      \item $p \vee q \;\models\; q \vee p$ \quad ?
        % yes
    \pause\smallskip
      \item $p \vee q \;\models\; p$ \quad ?
        % no
    \pause\smallskip
      \item $p \wedge q \;\models\; p \to q$ \quad ?
        % yes 
    \pause\smallskip
      \item $p \to (q \to r) \;\models\; q \to (p \to r)$ \quad ?
        % yes
    \pause\smallskip
      \item $p \to (q \to r) \;\models\; (p \to q) \to r$ \quad ?
        % no
    \pause\smallskip
      \item $(p \to q) \to r \;\models\; p \to (q \to r)$ \quad ?
        % yes
    \medskip
    \end{itemize}
  \end{alertgoal}
\end{frame}