逻辑

Finally,a simplified case of BOFL,i.e.Boolean Operator Propositional Logicestablished on a Boolean algebra,is further discussed.A complete algorithmfor finding the true level and false level of a formula in BOPL,which subsumes the re-lated work by Wang H.in the propositional logic,is also provided.

对布尔算子模糊逻辑的简化情形一布尔算子命题逻辑作了进一步讨论，放宽了对真值域的要求，将布尔算子命题逻辑建立在布尔代数上，并推广了命题逻辑中的王浩算法，给出了一个完备的求给定公式恒真水平和恒假水平的机械推导算法。

It is also used to generate SPICE stimulus waveforms for these special sequential logic circuits quickly according to user's logic parameter specifications, as can speed up the logic parameter extraction process and guarantee a proper SPICE simulation waveform for the logic extraction.

提出了对具有反馈信息的时序逻辑电路进行逻辑参数提取时用于SPICE模拟的激励波形自动生成方法，该方法能根据用户指定的要提取的时延参数要求，很快产生这种时序逻辑电路的模拟激励波形，从而可以加快逻辑参数的提取过程，保证参数提取激励波形的正确性。

Application predicate logic on data sublanguage as its mathematical foundation would make the study of data sublanguage become the research of predicate logic and the optimization of data sublanguage become the matters of simplification of predicate logic.

本文旨在研究将谓词逻辑及公理化理论应用于关系数据库中表示数据子语言，应用谓词逻辑作为它的数学基础，使得对这些语言的研究成为对谓词逻辑的研究，优化数据子语言的表示成为对谓词逻辑的化简问题。

From the point of modern logic, the logic developed from traditional logic to classical symbolic logic then to non-classical logic.

从现代逻辑学的视野来看，逻辑学从古至今经历着从传统逻辑到经典逻辑再到非经典逻辑的发展过程。20世纪80年代以来，非经典逻辑在计算机科学和人工智能领域获得了基础性的地位。

The author would further argue for the theses listed below:(1) Wittgenstein's"phenomenological period"could be regarded as the beginning of his lasting interest in"the philosophy of psychology"into the end of his life, whereas the interest of this kind didn't appear obviously in Tractatus;(2) By interpreting the"atomic propositions"as the simplest description of the data instead of avoiding illustrating what it is as Tractatus did, Wittgenstein's "phenomenological period"does show us an amazing affinity between his own standpoint at that time and that of the Russellian logical atomism, which is surely under the influence of the empiricist tradition;(3) Wittgenstein's critique of his phenomenology, however, revives the celebrated Tractarian dichotomy between"unspeakablity"and"speakablity"in a new context by denying any attempt to employ any linguistic tool to designate or describe the absoluteness of the data which could be only"shown".

本文所试图论证的要点可以被概括为：(1)维氏的"现象学阶段"可以被视为他关于"心理学的哲学"的长期学术兴趣的发端点——这一兴趣一直延续到他生命的终点，却并未体现于其早年作品《逻辑哲学论》之中；(2)通过将"原子命题"解释为对于感觉予料的最简单的描述（而不是像《逻辑哲学论》那样回避对于"原子命题"之所是的正面解说），维氏的"现象学阶段"乃是向我们展现了他该时期的哲学立场与罗素的经验论版本的"逻辑原子主义"之间的令人惊讶的亲缘关系；(3)通过否认任何试图用语言手段来标示或描述予料的企图，并通过对于予料自身的绝对性的展示，维氏对于他自己的"现象学"观念的批判实际上乃是复活了他在《逻辑哲学论》时代就已作出的对于"不可说性"与"可说性"的二分法。

In this part, the paper inspects and studies Lukasiewicz"s 3-valued logic, the truth function of 3-valued logic, the study of axiomatized system of Lukasiewicz"s 3-valued logic and the many-valued generalizations of Lukasiewiczs 3-valued logic, etc.

在这一部分中，文章考察的内容主要有卢卡西维茨的三值逻辑理论、三值逻辑的真值函项、卢卡西维茨的三值逻辑的公理化研究和卢卡西维茨的三值逻辑的推广等。

This is a criticism of the main point and the way of argument in Concept of Logic by Wang Lu. Wang's main point (the only object of logic is necessary inference and the nature of logic is necessity) failed completely to meet with the historical facts of the brith and development of the science of logic.

本文是对王路《逻辑的观念》一书基本观点(逻辑的对象仅仅是必然性推理，逻辑的内在机制是必然地得出)及其论证手法的批评：该书的基本观点完全不符合古今中外逻辑科学产生和发展的历史事实，其论证手法是&偷换和歪曲&。

Therefore ,it is helpful to recognize the character of six chapters in Mo Zi and promote the new progress of the logic of Moism and Chinese logical history that review and summarize the research of logic of Moism in recent twenty years and explore the method of the contemporary scholars' research of logic of Moism .

因此，对近二十年国内墨辩逻辑研究进行回顾与总结、探究当代学者研究墨辩逻辑的方法，有助于认识墨辩的性质，对于推动墨辩逻辑和中国逻辑史研究的新进展具有重要意义。

His research method affected many contemporary and following Chinese scholars who studied the doctrine of Moism. After him, the research of the doctrine of Moism (including the research of logic of Moism) followed the way that Liang Qichao had established.

对墨家逻辑学的研究：梁启超提出校注《墨经》文本的&牒经标题&体例，而且开创了三种逻辑比较研究的新方法，运用西方逻辑和印度因明的逻辑原理对《墨经》中的有关条文进行参照解释，较为充分地揭示出《墨经》中许多基本概念和命题的逻辑意义。

He made a comparative analysis on Chinese nominalistic logic with Western Aristotles logic and Indian classical logic, and revealed the main content of logic of Moism, including basic concept, principle of inference, induction ect.

本文拟从以下几个方面对梁启超的逻辑——方法论思想进行分析评述： 1、梁启超取得逻辑——方法论研究成就的历史条件：①清代诸子学的考证训诂成果使《墨子》一书稍可读通；②西学输入促进了梁启超对中国古典逻辑的研究；③研究墨学和科学的逻辑方法，为宣传维新变法思想提供方法论武器；④梁启超对墨子及墨家学说的主观偏爱。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。