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───邏輯炸彈（程序）；[計]邏輯炸彈

雙語使用場景

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 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.───它們對應一元謂詞邏輯，而布爾代數對應于命題邏輯，而多元代數對應于一階邏輯。

英語使用場景