What is entailment in semantics?

In semantics, entailment refers to a relationship between statements where the truth of one statement guarantees the truth of another. Specifically:

- **Entailment**: If Statement A is true, then Statement B must also be true. For example, "All humans are mortal" entails "Socrates is mortal," because if the general statement is true, then any specific instance, like Socrates, must also be true.

Entailment helps in understanding logical relationships and inferencing in language, ensuring that certain conclusions follow logically from given premises.