查询词典 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.

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

If I didn't care what anyone thought, I would.....

如果我不介意别人怎么看，我会。。。。

In recent decades, Chile has mandated earthquake-proofing for new structures, requiring that materials like rubber and features like counterweights be built into the architectural designs to allow buildings to bend and sway during temblors rather than break.

在最近数十年里，智利已经为兴建防震的新土建结构而对建筑材料提出要求，需要的材料类似于橡胶，而特性就象运用在建筑设计中的平衡物体，一旦应用以后，当地震发生时建筑就能弯曲摇摆。