first order logic发音

意思翻译

[计]一阶逻辑

相似词语短语

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

cartesian logic───笛卡尔逻辑

effectual logic───有效逻辑

sophism logic───诡辩逻辑

swirl logic───漩涡逻辑

circ logic───电路逻辑

logic puzzles───逻辑猜谜

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

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

双语使用场景

This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.───这一结果可以用于证明一阶逻辑形式系统和我们所提出的广义反驳方法的完备性。

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

The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.───将带广义量词Q的一阶逻辑的二值弱模型推广到取值于完备弱可补格上。

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 individual 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.───它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

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

英语使用场景

This result can be used to prove the completeness theorems of first order logic system and the universal refutation method proposed by us.

Continuous first order logic is an analog of classical first order logic.

First order logic is a most important concept in the field of propositional logic.

Godel's completeness shows that in the case of the first order logic the syntactical and semantical characters of reasoning coincide.

The two value weak model for first order logic with generalized quantifier Q is generalized to be valued in complete weak complemented lattices.