What is an entailment?
An entailment is the meaning of a proposition that is necessarily conveyed in another proposition. In other words, in the case of entailment, a proposition P entails another proposition Q when the truth of Q is the result of the truth