查询词典 propositional variable

By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln. The results obtained can complement and enhance the original theory of metrology of logic, and can give a new frame for fuzzy reasoning study.

特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

By employing the theory of ∑Γ－fuzzy truth degree, the concepts of Γ-pseudometric on F was proposed in the propositional logic system Ln.

特别地证明了真度关系：τΓ+τΓ≤1+τΓ，并利用这一关系在模糊命题演算系统Ln中的公式集F上引入相对于有限理论的Γ-伪距离，从而为在模糊命题逻辑系统Ln中建立相对于有限理论的近似推理框架奠定了基础。

I want, on the one hand, to explain what the general propositional form is by analyzing "logical constants"; on the other hand, to reveal the tautological character of the logical proposition.

逻辑形式是命题摹绘实在而必须与实在共同具有的东西，也就是实在的形式。

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个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

Therefore, although these discourse markers carry no propositional content, they are important in portraying an utterer's intentions and they have important pragmatic functions.

可见，虽然话语标记语不影响句子真值，但是能够反映说话者的用意，并具有多种语用功能。

Life 70 since time immemorial are rare, to the Ferguson that early Si has walked along to tell destiny time, perhaps live only this wide extensive goes to what the propositional ability appreciably of infinity exceeds him to ponder over a category, to other, concern the content of graceful couplet especially, father of old the rank of nobility is look bright forever, zhi Zhu within one's grasp.

人生七十古来稀，对于早巳走过知天命时节的弗格森而言，也许只有生活这个宽泛到无限大的命题才能略微超出他的思索范畴，对于其他的，非凡是有关曼联的内容，老爵爷永远都是目光炯炯，智珠在握。

The Tableau decision algorithm for D-ALCO forms an elaborated combination of the Tableau algorithm for ALCO,the decision algorithm for propositional dynamic logic,and the embodiment of the possible models approach.

1引言作为一类用于知识表示的形式化工具，描述逻辑在信息系统、软件工程、自然语言处理等领域得到了成功应用[1]。

The idea is that while the bare propositional understanding of q will leave us forced to regard the ampliative transition, say from q to r, as something that can only be premised in the course of the argument, the situated thought of the content expressed by q would suffice to licence apriori the ampliative move in question.

这个观念是，当单纯地命题性理解q，会让我们被迫重视扩展推进，说从q到r，作为在论证过程中只能预设的东西，the situated thought的被q所表达的内容，会足以先天许可一个扩展推进。

Yet as expressed by many it ignores too readily the propositional and creedal content of Scripture.

但由于所表达的许多它无视太容易了命题和creedal内容的经文。

Yet as expressed by many it ignores too readily the propositional and creedal content of Scripture.

但由於所表达的许多它无视太容易了命题和creedal内容的经文。

Fostering the concept of multi-culture firmly and mastering the development of advanced culture correctly are conductive to resisting terrorism, separatism of nationalities and ultraism of religion, which is of great academic theoretical, immediate and profound historical si...

牢固树立多元文化的理念和正确把握先进文化的发展方向，有助于在世界范围内自觉地抵制恐怖主义，民族分裂主义和宗教极端主义。不仅具有重大的学术理论意义，而且也具有重大的现实意义和深远的历史意义。

But if anyone walks in the night, he stumbles, because the light is not in him.

11：10 若在黑夜行走，就必碰跌，因为那光不在他里面。