Semantic Entailment (Propositional Logic)

Let and . We say that entails if for any valuation

We denote this by

Note: iff is True (Propositional Logic)
in every Model (Propositional Logic) of .