This paper introduces a method for propositional logic calculation.

介绍了命题逻辑演算方法。

And the proposition is the propositional sign in its projective relation to the world.

一个命题就是一个处在对世界的投影关系中的命题符号。

Instituting the propositional theory is necessary for a scientific study of sociology.

建构命题化的理论是社会学研究科学化的必然要求。

Each Girard quantale can provide the theoretical base of linear propositional formula.

它为线性命题公式提供了理论基础；

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

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

This paper deals with the formal system of propositional calculus of medium logic (MP).

本文讨论了中介逻辑命题演算(MP)的形式系统。

In the knowledge implication propositional logic system which build on this strategy, 1.

在根据这种策略而建立的知识蕴涵命题逻辑系统中：1。

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

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

Furthermore, it presents a creditability problem about theorem proof in propositional logic.

也引申出命题逻辑定理证明的一个可信性问题。

Best method still asks to give propositional teacher, strive for audit next its give lessons.

最好的方法还是打听出命题教师，然后争取旁听其授课。

Stoicism denies anything immaterial and tries to explain the world through propositional logic.

斯多噶学派否认任何非物质的，并试图通过命题逻辑来解释世界。

Through propositional attitude, linguistics and philosophy of language can be combined organically.

通过命题意向，可以将语言学和语言哲学有机整合起来。

A megametaphoric event is an experiential gestalt embodying both propositional and metaphoric actions.

博喻事件是作为命题行为和隐喻行为双重体现的一个经验完形。

To learn about logic more we need to know about proposition, propositional operators and propositional operators.

要了解更多的逻辑，我们需要了解命题，命题命题运营商和运营商。

However, the causal efficacy of propositional attitudes here is based on the syntactic properties of the attitudes.

然而，在这里，命题态度的因果效力是通过命题态度的句法性质而得到论证的。

To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability.

强调二进制的性质这一问题，这是经常被称为布尔或命题满足。

This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.

给出了相干命题逻辑自然推理系统NR的自动证明算法。

It takes time to establish and consolidate the propositional representation which has a strong stability once it is established.

命题表征的建立和巩固需要时间，但一经建立，巩固性较强。

Relevance theory defines linguistic forms in terms of propositional attitude, which exists the forms and their illocutionary force.

关联理论从命题态度对各语言形式进行定义。

According to relevance theory, metaphor is but a kind of loose talk whose propositional form resembles that of the speaker's thought.

根据关联理论，隐喻是随意言谈的一种，它的命题形式与说话人思想的命题形式之间存在着相似关系。

Coherence, derivable from relevance, is divided into two kinds: the coherence of propositional content and the coherence of contextual effect.

连贯是关联的一个派生概念，分为两类：命题内容的连贯和语境效果的连贯。

From the syntactical point of view, the concept of the syntactic truth degree of formulas is proposed in two-valued propositional logic system.

本文从语构理论入手，在经典二值命题逻辑系统中给出公式的语构真度的概念，从两个不同的角度给出语构真度的等价刻画。

Simultaneously, the propositional expression of allowable ultimate strain of CFRP was given based on the author's and the existing experiments.

同时，根据本文试验结果、已有试验结果和国内外设计规范（规程）给出了碳纤维布的容许极限拉应变的建议表达式。

Discourse relevance determines two types of conversational discourse coherence: propositional content coherence and contextual effect coherence.

话语关联性决定着两种类型的会话语篇连贯：命题内容连贯和语境效果连贯。

There are four cognitive models of categorization: propositional model, image-schematic model, metaphoric model and metonymic model respectively.

范畴化的认知模型可归结为：命题模型、意象图式模型、隐喻模型以及转喻模型。

Propositional modal logic is now an effective tool in artificial intelligence and other areas of computer science, but predicate modal logic is not.

目前，命题模态逻辑已成为人工智能以及计算机科学等其他领域的有效工具，但谓词模态逻辑却不是。

Modal of action or modal of will is different from propositional modal, whose operator pluses action can constitute the modal proposition of action.

行动模态或意志模态——不同于命题模态——其算子加于行动之上才能构成行动模态命题。

Knowledge Compilation emerged in recent years as a new research direction; it is used to deal with the computational complexity of propositional logic.

知识编译是近年来出现的一个新的研究方向，它用于处理一般命题逻辑推理的计算复杂性。

The intentional realist argument made by symbol computationalists is to show that propositional attitudes with semantic properties are causally efficacious.

符号计算主义的意向实在论论证的要点，是表明具有语义性质的命题态度的因果效力。

On this basis, this paper makes a study of the aspectual meaning indicated respectively by the progressive form of the verb and by the propositional content.

在此基础上，本文对英语动词的进行体形式和命题内容分别表示的体态意义分别进行了研究。