The sign through which we express the thought I call the propositional sign. And the proposition is the propositional sign in its projective relation to the world.
我将那些用来表达思想的符号称为命题符号。一个命题就是一个处在对世界的投影关系中的命题符号。
Symbolic logic is often divided into two branches, propositional logic and predicate logic.
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
According to relevance theory, metaphor is but a kind of loose talk whose propositional form resembles that of the speaker's thought.
根据关联理论，隐喻是随意言谈的一种，它的命题形式与说话人思想的命题形式之间存在着相似关系。
There are four cognitive models of categorization: propositional model, image-schematic model, metaphoric model and metonymic model respectively.
范畴化的认知模型可归结为：命题模型、意象图式模型、隐喻模型以及转喻模型。
Knowledge Compilation emerged in recent years as a new research direction; it is used to deal with the computational complexity of propositional logic.
知识编译是近年来出现的一个新的研究方向，它用于处理一般命题逻辑推理的计算复杂性。
This paper introduces a method for propositional logic calculation.
介绍了命题逻辑演算方法。
Avoid long strings of propositional clauses. And try not to repeat the same words.
避免把一个又一个命题用子句的形式叠成一长串，也要避免用词的重复。
And the proposition is the propositional sign in its projective relation to the world.
一个命题就是一个处在对世界的投影关系中的命题符号。
Each Girard quantale can provide the theoretical base of linear propositional formula.
它为线性命题公式提供了理论基础；
This paper deals with the formal system of propositional calculus of medium logic (MP).
本文讨论了中介逻辑命题演算(MP)的形式系统。
The proposition and classification of propositional forms are a very complicated problem.
命题及命题形式的分类是一个相当复杂的问题。
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.
博喻事件是作为命题行为和隐喻行为双重体现的一个经验完形。
We do not want to see sermons as propositional declarations but a dialog between the preachers and audience.
我们不喜欢听宣告真理式的教导，而要与会众对话式的讲道。
An important way for solving intelligent planning problem is translating it into propositional logic to solve.
求解智能规划问题的一个重要方法即把智能规划问题转化为命题逻辑公式求解。
However, the causal efficacy of propositional attitudes here is based on the syntactic properties of the attitudes.
然而，在这里，命题态度的因果效力是通过命题态度的句法性质而得到论证的。
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
Because perfect IF inferences donot involve modal concepts, idealized IF logic is analogous to classical propositional logic.
完美信息流推理不涉及模态概念，理想信息逻辑类似经典命题逻辑。
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.
话语关联性决定着两种类型的会话语篇连贯：命题内容连贯和语境效果连贯。
This dissertation begins with the research of similarity degree, then pseudo-metric and approximate reasoning in propositional logic system are studied.
本文从命题逻辑公式的相似度入手，研究命题逻辑公式集上的伪距离和近似推理。
The intentional realist argument made by symbol computationalists is to show that propositional attitudes with semantic properties are causally efficacious.
符号计算主义的意向实在论论证的要点，是表明具有语义性质的命题态度的因果效力。
Compared with propositional temporal logic, it can accurately describe the time feature of digital circuits and support discrete and continuous time structure.
它能精确地描述数字电路的时间特性，支持连续和离散的时间结构并能对时间信息进行推理。
To this end, the positive and negative transformations of propositional formulas are defined such that the semantic link between a literal and its negation is split.
为此，定义了命题公式的正变换和负变换，以便分离一个文字与其否定的语义联系。
The minimum term and maximum term defined by the propositional variations, are the core problems of expressions and applications stemmed from the propositional formula.
极小项和极大项是主范式问题的核心，体现了命题公式的成真赋值和成假赋值以及公式类型等诸多特征。
This paper explains the proposition and propositional logic, giving the definitions, forms and usages of negation, conjunction, disjunction, implication and equivalence.
解释命题、命题逻辑和其涉及的否定、合取、析取、蕴涵和等价等定义，同时分析它们的形式和用法。
This paper explains the proposition and propositional logic, giving the definitions, forms and usages of negation, conjunction, disjunction, implication and equivalence.
解释命题、命题逻辑和其涉及的否定、合取、析取、蕴涵和等价等定义，同时分析它们的形式和用法。
应用推荐