查询词典 classical logic

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.

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

The mutiple-input mutiput-output logic function of vertex in state transition graph represents output of related state and the single output logic function represents state transition condition; we use a 8-tuple NetList to represent the structure implement of the result of controller synthesis.

状态转换图顶点中的多输入多输出逻辑函数表示对应状态的输出，图中边上的单输出逻辑函数表示状态转移条件；用一个八元组NetList表示控制器综合结果的结构实现，八元组包括输入符号，输出符号，状态存储器的输入，输出网络，状态转换网络，状态存储器，状态存储器的输出和状态存储器的初始输出。

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.

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

Thirdly, I would also like to add, by logic, I do not refer to "the Logic" characterised by dogmatic, irrefutable, unfalsifiable make-beliefs which others have tried to export.

y6 |！ S s a$ z6 x# ySnowpear雪梨网-澳洲中文门户，提供有关于澳大利亚留学、移民、生活、打工、签证、新闻、娱乐的综合性网站

The goal of quantum computing is directed towards multi-qubits. In the process, the crucial problem we are facing is how to design corresponding quantum logic gate network through universal quantum logic gate according to the quantum computing task, that is, unitary transformation.

量子计算的目标是向多量子位的方向发展，在此过程中，我们面临的关键问题是针对量子计算任务如何由通用的量子逻辑门来设计相应的量子逻辑网络，即酉变换。

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 ，十四）"我们可以提供我们的祈祷和我们满意的代表那些被拘留在炼狱，因为我们是成员的伟大基督的奥体，为什麼可能不是牧师基督适用於同样的灵魂满意的过剩是耶稣和他的圣人-他是在配药？