Implicature is a technical term in the
linguistic branch of
pragmatics coined by
Paul Grice. It describes the relationship between two statements where the truth of one suggests the truth of the other, but—distinguishing implicature from
entailment—does not require it. For example, the sentence "Mary had a baby and got married" strongly suggests that Mary had the baby before the wedding, but the sentence would still be strictly true if Mary had her baby after she got married. Further, if we add the qualification "— not necessarily in that order" to the original sentence, then the implicature is cancelled even though the meaning of the original sentence is not altered.
See more at Wikipedia.org...