查询词典 predicate logic

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偏倚的高度还原的驱动和控制电路的输入和开关电源。

Third,from the aspect of logic and thinking,thinks of the logic of analogism and" foundation of neutral thinking and the" body and function philosophical structure.

第三，从逻辑与思想的角度，思考了《乐记》的&比类&逻辑体系、&中和&思想基础和&体用&哲学结构。

Said invented method for and device adopt MCU or logic or logic chip detecting said ringing current signal, backboard ringing current signal and mutual sent signal, and sequential control sequential control, avoiding switch device hard switching and arcking, raising switch device and backboard reliability.

本发明方法及装置通过采用MCU或逻辑芯片检测本板铃流信号，背板铃流信号和互送信号，并采用时序控制，避免了在铃流开机和切换时的开关器件硬切换，以及铃流的在开关电路切换时的拉弧，提高了开关器件的可靠性；而且把开关电路从通讯设备插框背板转移到单板上来，提高了背板的可靠性，降低了后续的维护和检修困难。

As a kind of argumental logic,Mo-jing logic iscloser to the critical thinking attached importance in contemporary west.

作为一种论证逻辑来说，墨经逻辑更是与当代西方普遍受到重视的批判性思维接近。

In this new architectural plan the Garden of Golgotha came to be at the centre of the new city.

Aelia 是高举他自己，并在此城内朝拜罗马诸神。

The continuous nature of peat accumulation means that terrestrial coaly rocks may provide a higher resolution and more complete record of base-level change than the time-equivalent shallow-marine strata, thus enabling the identification of highfrequency cycles that are not recorded in themarine strata.

泥炭积累的持续性质的手段，陆地coaly岩石可提供较高的分辨率和更完整的记录基准面变化的影响时，相当于浅海阶层，从而使确定的高频周期，不记录在themarine 阶层。