Entailment

- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Relation in which one set of sentences semantically guarantees the truth of another sentence in every interpretation: a consequence relation between premises and conclusion across all models of the premises.