entailment
n. Logic 1 (relation between propositions p and q such that if p is true of any state of the world then q is also true of every such state, cf : implication, presupposition 1) अनिवार्य अनुमान (न.) 2 (q is an entailment of p) अनिवार्य अनुमानित (न.)