查询词典 classical logic

The Conclusion offers a future outlook on the theory of simulacra from two perspectives. One locates simulacra in the context of visual cultural and explores viable expansions of the theory in terms of visuality, cross-disciplinarity and visual literacy. The other offers a "theoretical imagination" on the reconstruction of the logic of simulacra and its research future from the angels of the disenchantment of technology, the alternative logic of simulacra and the simulacra of humans.

余论部分从两方面做了展望，一方面将仿像置于视觉文化的语境，从视觉性、跨学科和视觉教养三个角度寻求拓展仿像理论的可行方法；另一方面在技术的祛魅、仿像的另一种逻辑和人的仿像三个角度对仿像逻辑的重建和仿像研究的未来可能性上进行了"理论想象"。

A logic zero input on ENx or logic high on ENx restores bias to the drive and control circuits and turns the power on.

一个逻辑零的ENX或逻辑上的ENX偏倚的高度还原的驱动和控制电路的输入和开关电源。

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.

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

Yet, Edith says, there was always money in the bank.

但是Edith说，她的银行户口里面总是有钱。

We have created a series of files that resolve this problem--one for each day of the 40 days of purpose.

我们制作一系列的档案去解决这问题---一个为标竿40天中的每一天。