Entailment
In logic, an entailment is a kind of conditional. See conditional.
In pragmatics (linguistics), entailment has a different, but closely related, meaning.
This is a disambiguation page; that is, one that points to other pages that might otherwise have the same name. If you followed a link here, you might want to go back and fix that link to point to the appropriate specific page.