\input{../opening}

\renewcommand{\asetfuncs}{\forestgreen{\mathcal{F}}}
\renewcommand{\asetpreds}{\forestgreen{\mathcal{P}}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\maketitleslide{--- Semantics of Predicate Logic ---}
               {November 12, 2014}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\theme{Motivation of Semantics}