<logic> relation between propositions such that one of them is strictly implied by the other(s); that is, its falsity is logically impossible, given the truth of what entails it. Thus, the premises of a valid deductive argument entail its conclusion. Recommended Reading: Charles F. Kielkopf, Formal Sentential Entailment (U. Press of America, 1986) and Entailment, ed. by Alan Ross Anderson, Nuel D. Belnap, and J. Michael Dunn (Princeton, 1992).
[A Dictionary of Philosophical Terms and Names]
Try this search on OneLook / Google