真谓词的英文

• truth-predicate

• "真"英文翻译    true; genuine; real
• "谓词"英文翻译    predicate
• "谓词" 英文翻译 :    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• "假谓词" 英文翻译 :    false predicate
• "全谓词" 英文翻译 :    total predicate
• "数谓词" 英文翻译 :    numerical predicate; numerical readout
• "谓词的" 英文翻译 :    predicative
• "谓词交" 英文翻译 :    predicate intersection model
• "谓词名" 英文翻译 :    predicate name
• "变项谓词, 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
• "可分解谓词" 英文翻译 :    resolvable predicate