\frametitle{Truth Values}
    In propositional logic,
    the \emph{truth value} of a formula  is
    determined by a \emph{truth assignment} of the variables in the formula.
    For example, assigning  
      \item to $p$ and $q$ the truth value $\T$, and
      \item to $r$ the truth value $\F$,
    determines the truth value of the formula $p \vee \neg q \to r$.
  The truth value of a formula can, for example, 
  be computed via:
    \item the \emph{parse tree}, or
    \item by making a \emph{truth table}.