逻辑的

But it is not a whole failure. Russell' contribution lies in his study of mathematics logicism promoting the development of mathematics logic.

但这种失败只是部分失败，其成功之处在于，罗素的数学逻辑主义研究对数理逻辑的发展作出了重要的贡献。

At the base of first order predicate logic this paper construct a strategy logic reasoning machine model, and discuss the correctness of this model.

在谓词逻辑的基础上构造了一个基于策略逻辑的推理机模型，并对模型的正确性做了讨论。

We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure.

提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验。

In "Truth Function", the paper, comparing with 2-vaued logic, briefs the quantity of truth function of 3-valued logic and how to calculate it.

在"真值函项"中，在与二值逻辑的比较下，文章介绍了三值逻辑的真值函项的数目及计算方法。

In fact,in his criticism,has also developed a modal logic with non-modal logic truth table semantics sentence comparable to the form of semantics.

事实上，在他的批评之后，模态逻辑也发展出了可与非模态语句逻辑的真值表语义学相媲美的形式语义学。

Eliminative Induction is an important inductive method;and it is a shared question of philosophers,logicians and AI scientists to find out a way of describing causality in terms of logic.

排除归纳法是一种重要的归纳方法；如何用逻辑的手段刻画因果关系是哲学家、逻辑学家和人工智能科学家共同关心的问题。

At the basic of knowledge implication propositional logic, a system of knowledge implicational model prepositional logic system has been built. It can describe inference mechanism of inconsistent knowledge system which includes in modal information.

在知识蕴涵命题逻辑的基础上，构建了一个知识蕴涵模态命题逻辑系统，它可以描述包含模态信息的不协调知识系统的推理机制。

A magician's performance is a logical flow through a series of actions culminated in an anti-logical results.

魔术师的表演是通过一系列合乎逻辑的流程动作最后产生一个反逻辑的结果。

Secondly, the thesis analyzes the design principle of hardware system, and descries the architecture of the solution. It analyzes how to implement AD converter, IDT72V3690 circuit, FPGA chip EP1C2214 design, including RAIDO disk control and application of embedded microprocessor LPC2214.Thirdly, the thesis descripts the design and realization of embedded software of LPC2214. First of all, it brings out the thinking of software layer, and designs the software architecture.

其次，叙述了基于USB总线硬件系统的体系结构及设计原理；详细介绍了如何实现AD转换电路抗干扰以及如何采用嵌入式处理器LPC2214、高速缓存IDT72V3690电路、FPGA芯片EP1C2214等电路设计实现简易RAID0存储阵列；重点叙述了FPGA设计ATA控制器和RAIDO逻辑的过程，介绍了FPGA内部逻辑是如何工作，将数据有序高效地并行存储到磁盘中去的。

12 The fact that the propositions of logic are tautologies shows the formal--logical--properties of language and the world.

6.12 逻辑命题是重言式，这显示语言和世界的形式的——逻辑的——属性。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新