I think where the contrast is drawn in this entry between entailment and implication, this should really be a constrast between entailment and Grice's more specific term "implicature".
The things said about implication are possibly true of some uses of that word, but not of its use in mathematical logic.