an ostensively communicated assumption that is derived solely via processes of pragmatic inference. Some implicatures are intended contextual assumptions and so function as premises in inference processes that issue in others which are inteded contextual implications. Both types, implicated premises and implicated ocnclusions, may be either strongly or weakly communicated. (See also explicature and weak communication)

In pragmatics (linguistics), implicature is 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.