Answer:
Entailment
Explanation:
The above statement is an example of entailment in linguistic semantics. Entailment in semantics has to do with making a statement(under a certain condition)that ensures a second statement is true. Example, since I'll be back later, we are certain that I am leaving. It is also called strict implication or logical consequence, and semantic consequence. Entailment is different from implication since all statements must be true, unlike implication.
