γ元谓词的英文

• ray predicate

• "元"英文翻译    first; primary
• "谓词"英文翻译    predicate
• "n变元谓词" 英文翻译 :    predicate of
• "二元谓词" 英文翻译 :    binary relation
• "变项谓词, n变元谓词" 英文翻译 :    predicate of n variable n
• "一元谓词逻辑" 英文翻译 :    monadic predicate calculus
• "一元谓词演算" 英文翻译 :    monadic predicate calculus; one place predicate calculus; unary predicate calculus
• "谓词" 英文翻译 :    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• "假谓词" 英文翻译 :    false predicate
• "全谓词" 英文翻译 :    total predicate
• "数谓词" 英文翻译 :    numerical predicate; numerical readout
• "谓词的" 英文翻译 :    predicative
• "谓词交" 英文翻译 :    predicate intersection model
• "谓词名" 英文翻译 :    predicate name
• "真谓词" 英文翻译 :    truth-predicate
• "变化谓词" 英文翻译 :    change predicate
• "变项谓词" 英文翻译 :    predicate of
• "程序谓词" 英文翻译 :    program predicate
• "初始谓词" 英文翻译 :    initial predicate
• "递归谓词" 英文翻译 :    recursive predicate
• "刁番图谓词" 英文翻译 :    diophantine predicate
• "泛函谓词" 英文翻译 :    functional predicate
• "高价谓词" 英文翻译 :    higher-order predicate
• "高阶谓词" 英文翻译 :    higher order predicate
• "函数谓词" 英文翻译 :    boolean-valued function