first order logic的意思

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.