\item \self Give the definition of the \emph{semantics} of propositional logic. \\