一阶逻辑表达式的英文

• first-order logic expression

• "一"英文翻译    one
• "阶"英文翻译    steps; stairs
• "逻辑表达式"英文翻译    logical expression
• "逻辑表达式" 英文翻译 :    logic expression; logical expression
• "一阶逻辑表达的公理规格说明" 英文翻译 :    specification in first-order logic-axioms
• "一阶逻辑表达的术语规格说明" 英文翻译 :    specification in first-order logic-terminology
• "括号逻辑表达式" 英文翻译 :    bracket logical expression; bracketed logical expression
• "扩充逻辑表达式" 英文翻译 :    extended logical expression
• "一阶逻辑" 英文翻译 :    first order logic; first-order logic
• "编辑表达式" 英文翻译 :    edit expression
• "罗辑表达式" 英文翻译 :    logic expression
• "逻辑表达式 论理条件式" 英文翻译 :    logical expression
• "逻辑表达" 英文翻译 :    logical expression
• "一阶逻辑的不可判定性" 英文翻译 :    the undecidability of first-order logic
• "阶逻辑" 英文翻译 :    order logic
• "基于逻辑的表达式" 英文翻译 :    logic - based representations
• "逻辑表" 英文翻译 :    logic table; logical table
• "n阶逻辑" 英文翻译 :    n order logic
• "二阶逻辑" 英文翻译 :    second order logic; second-order logic
• "高阶逻辑" 英文翻译 :    high order logic; higher order logic; higher-order logic; highor-order logic
• "零阶逻辑" 英文翻译 :    zeroth-order logic
• "表达式" 英文翻译 :    representation; expression◇表达式求值 evaluation of expression
• "逻辑表示法" 英文翻译 :    logic notation; logical representation
• "判定逻辑表" 英文翻译 :    dlt decision logic table
• "提问逻辑表" 英文翻译 :    question logic table