查询词典 propositional variable

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.

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

Propositional formulas decision is one of core issues in artificial intelligence field.

命题公式的判定是人工智能领域中的一个核心问题。

The proposition and classification of propositional forms are a very complicated problem.

命题及命题形式的分类是一个相当复杂的问题。

In the introduction, I elucidate the origin and the form changing of the problem of the propositional certainty.

在论文的导论部分，我阐述了命题确定性问题的起源及其形式的转变。

It involves a general description of a propositional form.

它包含着对一种命题形式的一般的描述。

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 若在黑夜行走，就必碰跌，因为那光不在他里面。