查询词典 classical logic

Two-valued logic with elements "0","1" is well-known to everyone and it provides the implementations for studying propositional logic and logical networks.

包含"0"，"1"两个元素的布尔代数已为人们所熟知，它给命题演算和对逻辑网络的研究提供了很好的工具。

By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln. The results obtained can complement and enhance the original theory of metrology of logic, and can give a new frame for fuzzy reasoning study.

特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

Having combination of the theory of truth degree in metrology of logic with the theory of ∑-α-tautologies in fuzzy logic, which have been introduced by professor G.J.Wang, the theory of ∑Γ-truth degree was introduced, and its properties which induce a pseudometric on F were investigated. The results gained have complemented and enhanced the original theory, and the work delivers a new frame for fuzzy reasoning.

将模糊命题逻辑中的∑-α-重言式理论与计量逻辑学中的真度理论相结合，在经典二值命题演算系统L中引入了公式相对于有限理论的∑Γ-真度理论，较为详细地讨论了它们的性质，并利用∑Γ-真度的性质在公式集F上引入了ρΓ-伪距离，对原有的理论进行了加强和补充，为在模糊命题逻辑系统的有限理论中讨论结论的程度化问题奠定了基础。

If in theonomy the concept of God is prior to logic, in rationalism logic is prior to theology.

如果在theonomy神的观念是前逻辑，在理性主义的逻辑是：前神学。

Anderson holds that deontic logic can be reduced to alethic modal logic by the reduction formula Op口

安德森认为依靠归约公式Op □能把道义逻辑归约为真值模态逻辑。

Workflow process model consists of logic layer and semantics layer, and workflow pattern is the summarization and generalization of all the repetitiously used conjunctive symbols and its conjunctive relationship in the logic layer of a workflow process model.

本文在考察和比较了国内外各种关于工作流建模理论研究的基础上，针对实现工作流管理系统这一目标所涉及的工作流元模型、工作流过程模型等几个核心问题，在前人研究成果的基础上，对工作流元模型的可扩展性、工作流过程模型建模中存在的问题以及工作流管理系统的实现等方面开展了深入的研究工作。

Another: on-the-job, set up a dedicated FPGA simulation servers, the company increased the efficiency of the logic of staff collaboration, as a server and has been rooter, to help administrators to configure, manage CVS part of the logic of the code and submit changes.

另：在职期间，搭建了FPGA专用仿真验证服务器，提高了公司逻辑人员的协作效率，并一直作为服务器rooter，协助配置管理员，管理CVS逻辑部分代码的更改和提交。

The main content of the dissertation is designing and realizing the total scheme and frame of system software. The module of the input and output is designed by using the generally I/O of the multichannel buffered serial port to simulated the communication of I~2C bus. The Ping-Pong buffer is brought forward to resolve the problem of the data rate matching. The logic switch function is designed in the programmed logic devices. The data transmission rate is improved by using the DMA and the dual buffer mechanism. The system program self-loading is realized by the design of the self-leading program. Lastly, the dissertation analyzes the characteristic of LLL video and experimentalize with some typical image processing algorithm.

主要对系统软件的总体方案与框架结构进行设计实现，内容包括利用通用串行口模拟I~2C通讯实现输入／输出模块的设计，提出乒乓缓冲结构来解决数据的速度匹配问题，利用可编程逻辑器设计完成逻辑切换控制功能，利用DMA并行传输方式并设计双缓冲结构提高数据的传输速度，设计自引导程序来实现系统程序自加载，最后深入探讨了微光视频图像的特征说明了几种典型的微光图像处理算法的原理，参考这些处理算法设计能在高速视频图像处理器上实现的软件方法，并做了一部分相关的实验研究。

As the logical foundation of sematics, it is Known that the model theory treats the relationships between syntactic constructs and semantical features thereof, and that the model theoretic logic cares, under the frame of abstract logic, for the similarity, distinctness and interrelationships among various extended logics.

作为语义方法的逻辑基础，模型论是研究逻辑的语法构造与语义属性之间联系的一门数理逻辑的分支；而模型论逻辑则是在抽象逻辑的框架中，用模型论的方法研究各种扩充逻辑系统的异、同及相互关系。

The second basic different between sentential and quantifier logic,then,is that in quantifier logic we will be using and analyzing these basic quantifier concepts and the relations between them.

句子逻辑与限定逻辑的第二个基本区别是在限定逻辑中我们将使用和分析这些基本限定词的概念以及其间的关系。2 ~9 f${ X- l

We stopped by the old fashion ice cream parlor Manhattan Beach Creamery for some refreshment. The "No Shoes, No Shirt, No Problem" sign on the wall epitomizes the beach lifestyle.

我们去商店区的一家老式冰淇淋店坐坐，墙上挂著「没鞋，没上衣，没问题」的牌子完全捕捉了海滩生活的随性及风格。

"If therefore", argues Bellarmine we can offer our prayers and our satisfactions in behalf of those detained in purgatory, because we are members of the great body of Christ, why may not the Vicar of Christ apply to the same souls the superabundant satisfaction of Christ and his saints--of which he is the dispenser?

" "因此，如果"，认为贝拉明（德indulgentiis ，十四）"我们可以提供我们的祈祷和我们满意的代表那些被拘留在炼狱，因为我们是成员的伟大基督的奥体，为什麼可能不是牧师基督适用於同样的灵魂满意的过剩是耶稣和他的圣人-他是在配药？