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 .