Moore and Grice on "p |= q" (Entailment and Implication)

From

[PPT] Propositional Logic -

"P entails Q, written P |= Q, means that whenever P is True, .... In PL we have to create propositional symbols to stand for all or part of each sentence."