🔗 A logical result 📝 Text logic relation

entailment

8.4

A relation where one sentence must be true if another sentence is true

noun
/ɪnˈteɪlmənt/

Specialized

: implicación

In natural language processing, entailment is used to determine if one statement logically follows from another.

Examples

To see how the SATV tests students' grasp of semantic entailment, let's look at an item that comes at the very top (dl5) of its difficulty range.

Academic text (1999)
That or you say entailment P entails QQ entails R Therefore P entails R.
To see why and how such entailments work, it is necessary only to subject them to what Kant called the law of contradiction.

Academic text (1999)
The results of the experiment confirmed the entailment that higher temperatures increase reaction rates.
Understanding the entailment between the premise and conclusion is crucial for effective argument analysis.

Synonyms

implication

vsentailment

308 4.3

A result or meaning suggested but not said

is a stricter formal link where one text's truth follows from another

semantic relation

vsentailment

Specialized

7.2

A connection between what words, phrases, or sentences mean

is a specific inference relation where one text's truth follows from another

How Supported

entailment

Specialized

8.4

neutral

218 3.6

contradiction

117 4.3

Surface Forms

entailment singular

entailments plural

Morphology

entailment = entail (transparent) = entail + ment

Same morphological process as the general sense: '-ment' forms a noun from the verb 'entail'; the technical usage is a domain-specific application of that noun.

Etymology

Entailment in language and logic keeps the same image from entailler 'to cut': one sentence can 'cut away' other possibilities so another sentence must be true. So in computational linguistics an entailment is when the truth of one text makes the other one 'must be true'.