查询词典 propositional function

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.

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

Propositional Network of noumenal knowledge of teachers in different stages of development is different.

从心理学视角看，教师个人的陈述性知识主要通过命题、意象与线性顺序加以表征，程序性知识主要通过&产生式&加以表征；教师在教育过程中表现出来的个人知识是陈述性和程序性知识的结合体——图式这一综合表征形式。

It is not bare propositional content considered as if from nowhere, but is rather informed by being phenomenologically embedded and directed.

这不是单纯的命题内容（——其被认为不来于任何地方），而是提供现象学的植入或指向而获知。

But that is the general propositional form.

而这就是一般的命题形式。

I can do simple painting, carpentry and plumbing.

我能做简单的油漆、木工和修水管等工作。

The motivations, notations and outline of this work are also given in this chapter.

从这个意义上讲，这些时滞是无害的。然后用实例说明这三个定理的应用和互不包含性。