Entail

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