Questionnaire-2024/propositional_logic/theory_questions/4_1_notions_lect_sol.tex

Let $\varphi$ and $\psi$ be formulas in propositional logic. We say
that $\varphi \models \psi$ if and only if every model $\mathcal{M}$ that satisfies
$\varphi$ ($\mathcal{M} \models \varphi$) also satisfies $\psi$ ($\mathcal{M} \models \psi$).