This paper works on propositional logic system in Computer Logic.

First order logic is a most important concept in the field of propositional logic.

而一阶谓词逻辑化为其前束范式是命题演算的重要步骤.

Some propositions are true for any truth value of their variables . Such propositions are called tautology.

某些命题对于变元后的任何一种真值状况,它均为真,这样的命题称为重言式.

They stigmatize these propositions as " trifling " or " merely verbal ".

他们把这些命题贬称为 “ 琐碎 ” 或 “ 只是咬文嚼字罢了 ”.

Both propositions sound reasonable.

两种主张都有理由.

You manage to reduce what seem quite sensible propositions to stark nonsense.

你竟然会把那些看来非常明智的主张变得十分荒谬.

This is one of the most elementary war propositions.

这是战争的最基本的命题之一.

Vote Yes on Proposition 136, but No on Propositions 129, 133 and 134.

对第136号修正案投赞成票，但对第129号、133号和134号修正案投反对票。

His findings may be summarized in two propositions.

他的发现可以归纳成两个结论.

China has stated clear its propositions for COP 15 in the position paper.

中国已在其COP15立场文件中明确提出了对大会的具体倡议.

They stigmatize these propositions as'stifling '.

他们把这些命题贬称 “ 琐碎”.

Therefore, we propound the proposal for building up the financial safety area.

基于此, 我们提出了创建金融安全区的构想和思路.

He wins the prize by propound the theory.

他因提出学说而获奖.

The theory I propound is the nature the universe; it is the fundamental Law of Buddha.

我所讲出来的道理是宇宙特性, 是佛法的根本.

This latter alternative, which was first propounded by Pallas , seems by far the most probable.

后一种情况是巴拉斯最初提出的, 似乎是最可能的.

Some methods of weakening sensor noise are propounded.

本文提出了削弱传感器噪声的一些方法.

Indeed it was first propounded by the ubiquitous Thomas Young.

实际上,它是由尽人皆知的杨氏首先提出来的.

A simple and effective diagnosis method is propounded.

在此基础上,提出了一种简单有效的诊断方法.

And propounded the unchanged functions and distinct advantages with the increasingly widespread using of modern teaching.

并就当前电化教学日益普遍的形式下提出媒体教学在外语教学中不可替代的作用和明显优势.

He won the prize by propounding the theory.

他因提出该学说而获奖.

She propped her bicycle against the wall.

她把自行车靠墙放好.