谓词符号的英文

• predicate symbol

• 谓词    predicate
• 符号    character; sign; symbol; mar ...
• 词符    lexicon
• 谓词    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• 假谓词    false predicate
• 全谓词    total predicate
• 数谓词    numerical predicate; numerical readout
• 谓词的    predicative
• 谓词交    predicate intersection model
• 谓词名    predicate name
• 真谓词    truth-predicate
• 符号    1.(记号; 标记) character; sign; symbol; mark; code; notation; expression; denotation; sentinel 注音符号 phonetic symbol; 标点符号 punctuation mark; 代数符号 algebraic symbol2.(表明职别、身分等的标志) insignia
• 变项谓词, 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