一阶逻辑的英文

• first order logic
• first-order logic

• 一:    one
• 阶:    steps; stairs
• 逻辑:    logic
• 一阶逻辑表达式:    first-order logic expression
• 一阶逻辑的不可判定性:    the undecidability of first-order logic

例句与用法

1. An algebraic proof of completeness theorem of first - order logic
   一阶逻辑完备性定理的代数证明
2. Generating sat instances from first - order formulas
   由一阶逻辑公式得到命题逻辑可满足性问题实例
3. An axiomatics for first - order logic
   经典一阶逻辑的希尔伯特型系统
4. Proving several theorems in first order logic based on back - and - forth method
   向前向后法证明一阶逻辑的几个定理
5. It may be said that the way by which for explaining existential issue is preferably successful
   可以说，利用一阶逻辑解释存在问题的方法是比较成功的。

百科释义

一阶逻辑是使用于数学、哲学、语言学及计算机科学中的一种形式系统。

其他语言

一阶逻辑的法语：Calcul des prédicats
一阶逻辑的日语：一階述語論理
一阶逻辑的韩语：1차 논리
一阶逻辑的俄语：Логика первого порядка
一阶逻辑的阿拉伯语：منطق الرتبة الأولى;
一阶逻辑的印尼文：logika predikat tingkat pertama;