Entail

$\models ,⊢$ A Truth Assignment that allows a Formula to be true $\tau \models \mathcal{F}$ if $\tau (\mathcal{F})=1$

Philosophy

It is a stronger form of Implies that fits Semantic arguments better $P\models Q$ means if $P$ is true, then $Q$ is true