entailment

an expression in propositional calculus meant to represent one proposition as derivable from another by replacement, ¶4-2-3. In the predicate calculus an e. reduces by shifting rank to a predicate with propositional arguments, ¶4-3-2.