谓词交的英文

• predicate intersection model

• 谓词    predicate
• 交    hand over; give up; deliver
• 谓词交叉模型    predicate intersection model
• 谓词    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• 假谓词    false predicate
• 全谓词    total predicate
• 数谓词    numerical predicate; numerical readout
• 谓词的    predicative
• 谓词名    predicate name
• 真谓词    truth-predicate
• 变项谓词, n变元谓词    predicate of n variable n
• n变元谓词    predicate of
• γ元谓词    ray predicate
• 变化谓词    change predicate
• 变项谓词    predicate of
• 程序谓词    program predicate
• 初始谓词    initial predicate
• 递归谓词    recursive predicate
• 刁番图谓词    diophantine predicate
• 二元谓词    binary relation
• 泛函谓词    functional predicate
• 高价谓词    higher-order predicate
• 高阶谓词    higher order predicate
• 函数谓词    boolean-valued function
• 解析谓词    analytic predicate