查询词典 propositional calculus

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内容的经文。

At the basic of knowledge implication propositional logic, a system of knowledge implicational model prepositional logic system has been built. It can describe inference mechanism of inconsistent knowledge system which includes in modal information.

在知识蕴涵命题逻辑的基础上，构建了一个知识蕴涵模态命题逻辑系统，它可以描述包含模态信息的不协调知识系统的推理机制。

SNePS, the Semantic Network Processing System,is the implementation of a fully intensional theory of propositional knowledge representation, reasoning, and acting.

SNePS是一个语义网络处理系统。它是一个完全内涵理论的实行，这种理论建议知识表示，推理和表演。

They are to monadic predicate logic what Boolean algebras are to propositional logic, and what polyadic algebras are to first-order logic.

它们对应一元谓词逻辑，而布尔代数对应于命题逻辑，而多元代数对应于一阶逻辑。

The changes of the HAF after liver injury may be related to the volume of blood loss, the intraabdominal pressure and the pneumoperitoneum duration.

肝撞击伤伴失血后肝动脉血流量的变化与失血量、气腹压力以及气腹持续时间等有密切联系。

Reneging on our commitments to the world's poor cannot be an austerity measure, she said.

放弃我们给世界上的穷国的承诺不能成为一种紧缩措施。