查询词典 statement logic

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.

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

The Conclusion offers a future outlook on the theory of simulacra from two perspectives. One locates simulacra in the context of visual cultural and explores viable expansions of the theory in terms of visuality, cross-disciplinarity and visual literacy. The other offers a "theoretical imagination" on the reconstruction of the logic of simulacra and its research future from the angels of the disenchantment of technology, the alternative logic of simulacra and the simulacra of humans.

余论部分从两方面做了展望，一方面将仿像置于视觉文化的语境，从视觉性、跨学科和视觉教养三个角度寻求拓展仿像理论的可行方法；另一方面在技术的祛魅、仿像的另一种逻辑和人的仿像三个角度对仿像逻辑的重建和仿像研究的未来可能性上进行了"理论想象"。

A logic zero input on ENx or logic high on ENx restores bias to the drive and control circuits and turns the power on.

一个逻辑零的ENX或逻辑上的ENX偏倚的高度还原的驱动和控制电路的输入和开关电源。

Objective:To compare the response control and attention of Schizophrenic patients with that of the healthy controls by Integrated Visual and Auditorycontinuous performance test. To quantitate the impairment of cognitive function in patients, and to explore the relationship between cognitive function and the severity of the disorder.

目的：探讨精神分裂症病人在IVA持续操作测试中的反应控制能力、注意力等，并与健康人进行比较，从而量化精神分裂症病人的认知功能损害，并进一步探讨其认知功能与疾病严重程度的关系。

Main effective factors including subcooling degree, mechanical vibration, gas hydrate reformation, environment temperature, noncondensing gas and surfactant are analyzed.

指出过冷度、机械振动、重复生成水合物、环境温度、不凝性气体、添加剂是影响气体水合物生成的主要因素，还对R152a水合物的放冷进行了实验研究。