first-order logic

意思翻译

一阶逻辑

相似词语短语

logic───n.逻辑；逻辑学；逻辑性

cartesian logic───笛卡尔逻辑

effectual logic───有效逻辑

sophism logic───诡辩逻辑

swirl logic───漩涡逻辑

circ logic───电路逻辑

logic puzzles───逻辑猜谜

chop logic───v.强词夺理；咬文嚼字；强词夺理；争辩

logic bomb───逻辑炸弹（程序）；[计]逻辑炸弹

双语使用场景

Continuous first-order logic is an analog of classical first-order logic.───连续一阶逻辑是经典一阶逻辑的一个类比。

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.───描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。

HOL is more expressive than first-order logic and enables a concise description of complex properties.───HOL比一阶逻辑更有表现力，能给复杂逻辑更加简洁的描述。

Although continuous first-order logic was introduced quite recently, it has already been applied to analysis and probability theory.───虽然连续逻辑才刚被引入，它已在数学的分析学以及概率论中得到很多的应用。

The first-order logic has accomplished that better than relevant logic through common inpidual variables.───一阶逻辑通过共享个体变元比相干逻辑更好地做到了这一点。

Godel's completeness shows that in the case of the first order logic the syntactical and semantical characters of reasoning coincide.───完全性定理是说一阶逻辑对推理的语法和语义刻画重合的；

rdfs . Then, automatic reasoning with RDF and RDFS becomes possible, even though a first-order logic proof system is required.───然后，自动推理与RDF和rdfs成为可能，即使一阶逻辑证明系统的需要。

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.───它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

英语使用场景 first-order logic