一元谓词演算的英文

• monadic predicate calculus
• one place predicate calculus
• unary predicate calculus

• "一"英文翻译    one
• "元"英文翻译    first; primary
• "谓词演算"英文翻译    predicate calculus
• "谓词演算" 英文翻译 :    first-order logic; predicate calculus; predicate logic; predicative calculus
• "狭谓词演算" 英文翻译 :    restricted predicate calculus
• "一元谓词逻辑" 英文翻译 :    monadic predicate calculus
• "二阶谓词演算" 英文翻译 :    second-order predicate calculus
• "高阶谓词演算" 英文翻译 :    high-order predicate calculus; higher order predicate calculus; higher-order predicate calculus
• "广义谓词演算" 英文翻译 :    extended predicate calculus
• "三阶谓词演算" 英文翻译 :    predicate calculus of the third order
• "谓词演算语言" 英文翻译 :    predicate calculus language
• "一阶谓词演算" 英文翻译 :    first-order logic; first-order predicate calculus; fopc
• "一阶纯谓词演算" 英文翻译 :    pure predicate calculus of first order
• "带恒等式的谓词演算" 英文翻译 :    predicate calculus with identity
• "基于谓词演算的方法" 英文翻译 :    predicate calculus based method
• "全称量词 (一阶谓词演算)" 英文翻译 :    universal quantifier in fopc
• "谓词演算中的连接词" 英文翻译 :    connective in predicate calculus
• "n变元谓词" 英文翻译 :    predicate of
• "γ元谓词" 英文翻译 :    ray predicate
• "二元谓词" 英文翻译 :    binary relation
• "介词演算" 英文翻译 :    prepositional calculus
• "变项谓词, n变元谓词" 英文翻译 :    predicate of n variable n
• "谓词" 英文翻译 :    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• "一元" 英文翻译 :    beginning integration of yin and yang; kazumoto; skin; unary
• "演算" 英文翻译 :    perform mathematical calculations; calculation; calculus◇演算器 exerciser

• 一元谓词演算的法语：Logique monadique du premier ordre