查询词典 propositional logic

This dissertation detailedly investigate the symbolic logic and some typical techniques for low power FSM logic synthesis and optimization.

论文详细讨论了低功耗有限状态机综合与优化中的符号逻辑和一些典型方法。

He has been an editor of the Journal of Symbolic Logic and chief-editor of the Journal of Philosophical Logic.

他曾是国际逻辑学两个主要杂志Journal of Symbolic Logic的编委和Journal of Philosophical logic的主编。

The Logic-information method is one kind of theories of quantification, and it is a comprehensive mathematical analysis method based on symbolic logic, Comprehensive analysis, and mathematical statistics.

逻辑信息法是数量化理论的一种，该方法是以数理逻辑、组合分析及数理统计为基础的一种综合数学分方法。

Considering that symbolic logic is an extremely specialized field (a layman would not understand an article on logic), it was not that different from engineering or science.

考虑到符号逻辑是个极专门的学科（这是从外行人看不懂得逻辑文章来说），它和理工科差不太多的。

The chapter fivediscusses the combinfing methods between fuzzy logic and symbolic expert system,fuzzy logic and neural network.

第二章介绍专家系统…般的结构功能和研究课题；第三章介绍BP网络的相关概念以及改进学习算法；第四章在分析了符号专家系统和神经网络的优缺点的基础上，提出了三种结合模型，并阐述了本论文所采用的结合模型；第五章讨论了模糊逻辑同符号专家系统、神经网络相结合的方法。

This theorem states that the sum of the symmetric logic variables constitutes a level-0 kernel of the symmetric logic function.

该定理表明，对称逻辑函数的对称逻辑变量之和恰好构成了该逻辑函数的一个零级核。

As more and more philosophers, both in China and in the West, are making efforts to de-center logic by exposing its inherent deficiencies, including its tautological character and its closedness as a system, translation studies would do well to re-articulate its troubled relationship with logic.

另一方面，不管是中国的思想家还是西方的哲学家，都已经开始揭露逻辑本身的弊端、它的重复性和封闭性，以打破它的中心主义态势。

The author depicts the necessity of adopting ternary logic in fault detection, with detailed introduction of the structure and operation principle for ternary logic fault detection circuit.

闸明了应用三值逻辑进行故障检测的必要性，较详细地介绍了三值逻辑故障检测电路的结构和工作原理。

This article writes from the theory "the unverification of value judgment " and its supporting reasons, contends for the rationality of the logic positivism which stands for the univerification of the value, and tries to reestablish the confidence on the possible meaning and effectiveness of the value verification through criticizing logic positivism's principle of verification and their reasons for the univerification of value judgments.

本文从"价值判断是不可证实的"这一论断的提出及其论证理由入手，检讨逻辑实证主义及其继承者关于价值判断是不可证实的这一理论的合理性，并通过对逻辑实证主义的可证实性原则及其否定价值判断可证实性的理由的批判，力图消解人们对价值判断可证实性的误解，重新确立对寻求价值判断意义和有效性的信心。

In addition, several examples showing the realization of three-variable threshold logic function with three-variable universal-threshold-logic-gates are given.

通用阈值逻辑门是一种通用的阈值逻辑门，可以通过改变它的输入、输出的接法实现所有的给定变量数的阈值逻辑函数。

Pradeep Indulkar, a senior official at the Maharashtra state Home Ministry say 101 human were killed and 287 injured.

马哈拉施特拉邦内政部高级官员Pradeep Indulkar称，有101人在冲突中丧生，287人受伤。

Mark Frei, a senior vice president of West, says 80% of West's homeagents have some college education, compared with 30% of those whowork in office-based call centers.

Frei说，该公司80%在家办公的人员都拥有本科学位，而在公司电话中心工作的人中只有30%拥有本科学位。