Based on the relation of representing the sufficient condition by" if, then", this paper points out:(1) the limitation of orthodox predicate calculus system F,(2) Entailment logic trthfully gives expression to the relation of 从“若、”表示充分条件关系出发指出:()谓词演算F系统的局限性,()约式如实地反映了充分条件关系。
entailment
[ noun ] something that is inferred (deduced or entailed or implied) <noun.cognition> his resignation had political implications
Entailment \En*tail"ment\, n. 1. The act of entailing or of giving, as an estate, and directing the mode of descent.
2. The condition of being entailed.
3. A thing entailed.
Brutality as an hereditary entailment becomes an ever weakening force. --R. L. Dugdale.