函数谓词的英文

• boolean-valued function

• 函数    function
• 谓词    predicate
• 数谓词    numerical predicate; numerical readout
• 谓词    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• 接复数谓语    than one
• 常接单数谓语    and a half
• 假谓词    false predicate
• 全谓词    total predicate
• 谓词的    predicative
• 谓词交    predicate intersection model
• 谓词名    predicate name
• 真谓词    truth-predicate
• 大多接单数谓语    or two
• 变项谓词, 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