In
pragmatics (
linguistics), entailment is the relationship between two sentences where the truth of one (A) requires the truth of the other (B).For example, the sentence (A) The president was assassinated. entails (B) The president is dead. Notice also that if (B) is false, then (A) must necessarily be false. To show entailment, we must show that (A) true forces (B) to be true and (B) false forces (A) to be false.Entailment differs from
implicature (in their definitions for pragmatics), where the truth of one (A) suggests the truth of the other (B), but does not require it. For example, the sentence (A) Mary had a baby and (B) got married implicates that (A) she had a baby before (B) the wedding, but this is cancellable by adding -- not necessarily in that order. Entailments are not cancellable.
See more at Wikipedia.org...