逻辑上

A polynomial system PS over the rational number field is constructed from the formula...,in a given many-valued logic system such that follows from ...,iff the algebraic variety defined by PS is empty, iff the idealenerated by PS is trivial.

由给定的多值逻辑系统中的一组公式，。。。，，出发，构造出了一组有理数域上的多项式PS，使得是，。。。，的逻辑结论，当且仅当PS定义的代数簇为空集，当且仅当PS生成的理想是平凡理想。

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校验模块、功率管理单元、控制单元、移位寄存器和存储器等。

The concept of G unit interval and the definition of separable degree between elements on G unit interval are given, and some properties are discussed. Based on this concept, it determined a metric p, and ([0, 1], p) becomes a metric space (It is called G unit logical metric space). In this paper, the properties and structure of G unit logical metric space are discussed in detail, and get some good results.

给出了G单位区间[0， 1]的定义并在其上引入了元素间的可分度的概念，讨论了其基本性质，并在此定义的基础上确定了一个度量P，从而([0， 1]， p)成为一个度量空间（文中称"G单位逻辑度量空间"），并对G单位逻辑度量空间的性质及其结构进行了详尽的讨论，并得到一些好的结果。

The so-called paradox of material implication is not actually that odd since it is caused by some kind of misunderstanding when people require material implication expressions not only the truth properties but contents and meanings as well in conditions.

实质蕴涵与否定、合取、析取、等值等其他逻辑联结词一样，其实质是对自然语言中复句的关联词所进行的合理的逻辑抽象，所谓的"实质蕴涵怪论"其实并不怪，它是人们要求实质蕴涵反映条件联系中除真假联系之外的内容、意义方面的联系，从而作了错误的解读所造成的；作为一种特殊的条件语句，在反事实条件句与实质蕴涵的关系问题上，在反事实条件句与一般性条件句的区分上，还有很多地方需要进一步探索。

If a maximally great being exists in one logically possible world, it exists in every logically possible world.

如果一最大地伟人 being 在一个逻辑地可能的世界上存在，它在每个逻辑地可能的世界上存在。

Since the notion of maximal greatness, in contrast to the notion of an unlimited being as Malcolm defines it, is conceived in terms that straightforwardly entail existence in every logically possible world (and hence eternal existence in every logically possible world), there are no worries about whether maximal greatness, in contrast to unlimitedness, entails something stronger than eternal existence.

自从最大的伟大的观点，与观点相对照一无限作为 Malcolm 定义它，在正直地必要的术语被构思在每个逻辑地可能的世界上的存在(并且在每个逻辑地可能的世界上的因此永久的存在)，关于没有担心是否最大的伟大，与无限相对照，必要比永久存在强壮的一些东西。

In order to get out from the cockamamie work in road route design for designers, on the basis of studying the internal relations among local schemes, local scheme was decomposed to small unit logic schemes; the directed network was used to represent the topological connection; the united data structure of point-arc was used to express a network graph. Based on the shortest path theory, the combinatorial optimization algorithm that can search optimal logical schemes of some targets in the network graph intelligently and can form the whole scheme automatically was put forward.

为了使设计者从道路线路设计的繁重计算统计工作中解脱出来，在研究了局部方案间内在关联的基础上，提出了将局部方案分解为更小单位的逻辑方案，用有向网络图表示逻辑方案间的拓扑关系，采用节点－弧段联合数据结构来表示网络图；同时基于最短路径理论，提出了在网络图中智能化搜索综合指标最优的逻辑方案集，自动形成整体方案的组合优化算法。

On the basis of this discussions, the author gives the standard system of deontic logic which was created by Von Wright and abstracts the development from the classic system to the standard system of deontic logic.

真性模态和道义模态之间存在着类似和区别，在此基础上给出冯·赖特道义逻辑的经典系统，说明经典道义逻辑在向标准道义逻辑发展

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition, by adding the modal auxiliary "should "before t...

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

It holds that, by means of logic inference,"x believes p" can be interpreted as "x thinks that p is true". By the same token, the system of the Logic of Belief can-be established, on the basis of the logic of its classical proposition , by adding the modal auxiliary "should "before the verb "believe".

作者认为，从逻辑的观点出发，可以简单地将&x 相信 p&解释为&x认为p是真的&，与之相对应，信念逻辑系统可以在经典命题逻辑的基础上加入模态词&应该&而得以建立。

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％。