查询词典 statement logic

Third,from the aspect of logic and thinking,thinks of the logic of analogism and" foundation of neutral thinking and the" body and function philosophical structure.

第三，从逻辑与思想的角度，思考了《乐记》的&比类&逻辑体系、&中和&思想基础和&体用&哲学结构。

Said invented method for and device adopt MCU or logic or logic chip detecting said ringing current signal, backboard ringing current signal and mutual sent signal, and sequential control sequential control, avoiding switch device hard switching and arcking, raising switch device and backboard reliability.

本发明方法及装置通过采用MCU或逻辑芯片检测本板铃流信号，背板铃流信号和互送信号，并采用时序控制，避免了在铃流开机和切换时的开关器件硬切换，以及铃流的在开关电路切换时的拉弧，提高了开关器件的可靠性；而且把开关电路从通讯设备插框背板转移到单板上来，提高了背板的可靠性，降低了后续的维护和检修困难。

As a kind of argumental logic,Mo-jing logic iscloser to the critical thinking attached importance in contemporary west.

作为一种论证逻辑来说，墨经逻辑更是与当代西方普遍受到重视的批判性思维接近。

The next section discusses branchless logic, and demonstrates the most common branchless logic sequences.

下一节中我们讨论非分支逻辑，并给出一个非分支逻辑流的一个最常见的实现。

In the aspect of the Philosophy of Language, Montague Grammar inherited Frege's theory of meaning, Russell's theory of reference, Carnap's theory of verification, Goodman's Modern Realism, Tarski's theory of truth, Kripke's semantics of possible worlds of modal logic, etc, and opens up a new direction in the study of Formal Semantics of natural language; in the aspect of Theoretic Linguistics, Montague was influenced by Chomsky's research idea about the formal treatment of the syntax in natural language and extended it to the semantic study of natural language; Montague Grammar has two theoretic sources: One is the Logical Semantics and Intensional Type Theory in Logic, and the other is Categorial Grammar and Transformative Generative Grammar in Linguistics.

在语言哲学方面它继承了弗雷格的意义论，罗素的指称论，卡尔纳曾的实证主义，古德曼的现代实在论，塔斯基的语义学真理论，克里普克的模态逻辑可能世界语义学的传统，开辟了自然语言形式语义学研究的新方向；在理论语言学方面，他受乔姆斯基形式化语言研究思想的影响，并把这一思想扩展到自然语言的语义研究方面；蒙太格语法的理论来源有两个方面：逻辑方面是逻辑语义学思想和内涵类型论理论，语言学方面是范畴语法和转换生成语法。

Description logic is the decidable fragment of the first order logic and suitable for modeling the concept terminology of domain knowledge.

描述逻辑是一阶逻辑的可判定子集，适合对领域知识的概念术语进行建模。

Description logic is a formal language for representing knowledge and it is a decidable subset of first-order logic.

1引言 描述逻辑是知识表示的一种形式化语言匡，适合表示关于概念和概念层次结构的知识，因此也叫做概念表示语言和术语逻辑。

Description Logic is a kind of object based knowledge representation formalism, and also a decidable fragment of first order predicate logic, with well-defined semantics and powerful representation capability.

描述逻辑是一种基于对象的知识表示的形式化系统，它是一阶逻辑的一个可判定的子集，具有合适定义的语义，并且具有很强的表示能力。

Dynamic epistemic logic,rised in recent years,is a non-classical logic.

动态认知逻辑是近年兴起的非经典逻辑，是一个相对比较新的研究领域。

Programmable fuzzy logic controller ; Evolvable hardware ; Genetic algorithm ; Fuzzy logic

可编程模糊逻辑控制器；演化硬件；遗传算法；模糊逻辑

Chinese traditional virtue is humility and wariness,the compliment and praise to the others should be declination

中国人的传统美德是谦虚谨慎，对别人的恭维和夸奖应是推辞。如

We bought this house on the never-never.

我们以分期付款的方式买下这座房子。