 \(\alpha \vDash \phi \rightarrow \psi \textrm{ iff } \forall \beta(\alpha[\phi]\beta \Rightarrow \beta \vDash \psi)\), i.e., any assignment \(\beta\) that results from updating \(\alpha\) with the antecedent \(\phi\) satisfies the consequent \(\psi\). 