\item \self What is the difference between a \emph{satisfying model} and a \emph{falsifying model}
of a formula in propositional logic? Give a satisfying and a falsifying model for the formula $\varphi = a \implies b$. \\