三阶谓词逻辑的英文

• third order predicate logic

• "三"英文翻译    three
• "阶"英文翻译    steps; stairs
• "谓词逻辑"英文翻译    predicate logic
• "一阶谓词逻辑" 英文翻译 :    first order predicate logic; first-order logic; first-order predicate logic
• "三阶谓词演算" 英文翻译 :    predicate calculus of the third order
• "谓词逻辑" 英文翻译 :    first-order logic; predicate logic
• "述词逻辑 [谓词逻辑" 英文翻译 :    predicate logic
• "谓词逻辑语言" 英文翻译 :    predicate logic language
• "一元谓词逻辑" 英文翻译 :    monadic predicate calculus
• "高阶谓词" 英文翻译 :    higher order predicate
• "一阶谓词" 英文翻译 :    first-order predicate; predicate of first order
• "带等词的谓词逻辑中通过使用" 英文翻译 :    definition in use
• "二阶谓词演算" 英文翻译 :    second-order predicate calculus
• "高阶谓词演算" 英文翻译 :    high-order predicate calculus; higher order predicate calculus; higher-order predicate calculus
• "一阶谓词演算" 英文翻译 :    first-order logic; first-order predicate calculus; fopc
• "介词逻辑2" 英文翻译 :    prepositional logic
• "述词逻辑" 英文翻译 :    predicate logic
• "语词逻辑记忆" 英文翻译 :    wordlogical memoryy
• "逻辑谓词" 英文翻译 :    open sentence
• "谓词元逻辑" 英文翻译 :    metalogic of predicates
• "全称量词 (一阶谓词演算)" 英文翻译 :    universal quantifier in fopc
• "逻辑陈述谓词" 英文翻译 :    logical statement predicate
• "三阶" 英文翻译 :    mihashi; mikai; mishina; sangai; sankai; trvalent
• "谓词" 英文翻译 :    [语言学] predicate◇谓词变项 predicate variable; 谓词逻辑 predicate logic; 谓词演算 predicate calculus
• "三阶节" 英文翻译 :    sangai bushi