In semantics, what is the term for the relationship where the truth of one sentence necessarily implies the truth of another?

1. ক
   Contradiction
   
2. খ
   Entailment
   
3. গ
   Anomaly
   
4. ঘ
   Ambiguity