查询词典 propositional connective

127 The propositional variable signifies the formal concept, and its values signify the objects that fall under the concept.

4.127 命题变项标示形式概念，命题变项的值标示属于该形式概念的对象。

constant ; propositional variable ; generalized literal ;α-resolution field

文献[1]中给出的α-归结方法，是一种半可判定算法，能够归结出一类格值

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所表达的内容，会足以先天许可一个扩展推进。

But GST= 0.156, Nm=1. 588. As a result, the foundation of Youyongchi Avicennia marina population was the result of the migration of hypocotyles and human factors.

这项工作可以为海岸防护林中新引进种类的判定以及为研究种群建立者效应方法的确定提供科学依据。

The two-dimensional CDRC-ADI-FDTD update equations for collision unmagnetized plasma are induced. The unconditional stability of the CDRC-ADI-FDTD formulation for collision unmagnetized plasma is obtained by the examples.

推导了碰撞非磁化等离子体中的二维CDRC-ADI-FDTD迭代公式，并用算例验证了碰撞非磁化等离子体CDRC-ADI-FDTD算法也是无条件稳定的。