逻辑

Combinatorial theory was adopted to build the general model of predicative concepts , which were further defined on the conjunctive normal form and the disjunctive normal form of prepositional logic Then we set up the concepts evaluation model consisting of the indexes as completeness, consistency, simplicity and inner consistency.

应用数理逻辑理论，定义了基于CNF范式和DNF范式的概念的命题逻辑表示形式，建立了包含概念的完整性、一致性、简单性和内部一致性的比较完整的概念评价的指标体系和模型。

In the third and fourth part, the connation and characteristics of affinity to people are clarified systematically on the basis of excavating and combing its original materials with the joint method of history and logic.

第三、第四部分运用历史和逻辑相统一的方法，在深入梳理、挖掘墨子原始资料的基础上，按照墨子思想自身内在的逻辑，对其思想之人民性的内涵和特征进行了系统的阐释，以突显出它的整体结构和理论框架。

1265 It is always possible to construe logic in such a way that every proposition is its own proof.

6.1265 对逻辑始终可以这样来理解：每个逻辑命题都是它自身的证明。

The realists consider that logic is discovered,while the conventionalism has the answer that logic is invented.

实在论者认为逻辑是发现的，约定论者认为逻辑是发明的。

This paper analyze the function and cost of the software product by making use of the basic principle of the value engineering.

虽然不能将传统的价值分析方法直接应用于逻辑产品，但价值工程的基本思想和理论体系对于提升逻辑产品的价值同样具有指导意义。

Then, on the basis of the functional verification, the system architectures of the radio frequency analog front end and the control logic circuit for the passive UHF RFID transponder are studied and designed with low-power design techniques. The RF AFE circuit includes rectifier, matching network, backscatter, regulator, AM demodulator, voltage reference, local oscillator and power on reset circuit, and so on. The control logic circuit contains clock synchronization module, decoding module, coding module, cyclic redundancy checksum module, power management unit, control unit, shift register and memory.

然后，在功能验证的基础上，重点研究了无源超高频射频识别标签芯片射频模拟前端电路和控制逻辑电路的系统架构，并采用低功耗设计技术对其进行了设计，射频模拟前端电路设计包括了整流器、匹配网络、反向散射电路、稳压器、AM解调器、电压参考源、本地振荡器以及上电复位电路等，控制逻辑电路设计包括了时钟同步模块、解码模块、编码模块、CRC校验模块、功率管理单元、控制单元、移位寄存器和存储器等。

We present a dense timed interval temporal logic and exploit the decidability problem of DTITL.

定义了稠密时间区间时序逻辑，它是区间时序逻辑的一种实时扩充。

In the view of logic, reasoning is the use of knowledge and logic deduction.

从逻辑的角度来看，对知识的利用就是推理，就是逻辑演绎。

Unifying themes in mathematical logic include the expressive power of formal logics and the deductive power of formal proof systems.

数理逻辑和电脑科学有许多重合之处，这是因为许多电脑科学的先驱者既是数学家、又是逻辑学家，如阿兰·图灵，邱奇等。

In this paper, we propose that legal argument is essentially plausible, defeasible, and nonmonotonic and show that the criteria for evaluating legal argument are deductive validity, inductive strength, and plausibility.

本文从广义的逻辑观出发，提供了法律论证本质上是似真的、可废止的和非单调的，进而提出了法律逻辑的评价标准是演绎有效性、归纳强度和似真性。

Breath, muscle contraction of the buttocks; arch body, as far as possible to hold his head, right leg straight towards the ceiling (peg-leg knee in order to avoid muscle tension).

呼气，收缩臀部肌肉；拱起身体，尽量抬起头来，右腿伸直朝向天花板（膝微屈，以避免肌肉紧张）。

The cost of moving grain food products was unchanged from May, but year over year are up 8%.

粮食产品的运输费用与5月份相比没有变化，但却比去年同期高8％。