高阶谓词演算的英文

• high-order predicate calculus
• higher order predicate calculus
• higher-order predicate calculus

• 高阶    high order
• 谓词演算    predicate calculus
• 二阶谓词演算    second-order predicate calculus
• 三阶谓词演算    predicate calculus of the third order
• 一阶谓词演算    first-order logic; first-order predicate calculus; fopc
• 全称量词 (一阶谓词演算)    universal quantifier in fopc
• 高阶谓词    higher order predicate
• 谓词演算    first-order logic; predicate calculus; predicate logic; predicative calculus
• 狭谓词演算    restricted predicate calculus
• 广义谓词演算    extended predicate calculus
• 谓词演算语言    predicate calculus language
• 一元谓词演算    monadic predicate calculus; one place predicate calculus; unary predicate calculus
• 一阶纯谓词演算    pure predicate calculus of first order
• 带恒等式的谓词演算    predicate calculus with identity
• 基于谓词演算的方法    predicate calculus based method
• 谓词演算中的连接词    connective in predicate calculus
• 一阶谓词    first-order predicate; predicate of first order
• 介词演算    prepositional calculus
• 三阶谓词逻辑    third order predicate logic
• 一阶谓词逻辑    first order predicate logic; first-order logic; first-order predicate logic
• 谓词    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• 高阶    high [higher] order◇高阶导数 higher derivative; higher order derivative; derivative of higher order; 高阶方程 equation of higher order; 高阶聚焦 high-order focusing; 高阶微分 higher differentiation; differential of higher order; 高阶微分方程 higher differential equation; differential equation of higher order; 高阶微商 higher derivative; higher order derivative; derivative of higher order
• 演算    perform mathematical calculations; calculation; calculus◇演算器 exerciser
• 假谓词    false predicate
• 全谓词    total predicate