查询词典 predicate logic

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.

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

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

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

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

For every one of my New Year resolutions, I have been a backslider for years.

说到我的新年决心，我每年都做

With empathy and focus on a feeling level, we can all relate to the common ground of mutuality of emotions.

有了同情心和感觉上一级的重点，我们都可以涉及到相互的情感共同点。