Satisfies

Definitions

A Propositional Formula $\mathcal{F}$ satisfies $\forall \tau \in {\tau }^{\ast }(\cdot )$ if $\tau (\mathcal{F})=1$.

In other words, it allows the Proposition equation to be true.