若命题符号化是错误的，则最终的推理结果必然错误。
If symbolic notation is error, it will cause mistake of result of conclusion.
一个命题就是一个处在对世界的投影关系中的命题符号。
And the proposition is the propositional sign in its projective relation to the world.
传统命题符号理论认为情境模型是组相关命题，是非模式符号系统；
Propositional forms are expressed by symbols, but can prepositional forms be equated with symbolization of propositions?
我将那些用来表达思想的符号称为命题符号。一个命题就是一个处在对世界的投影关系中的命题符号。
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.
符号计算主义的意向实在论论证的要点，是表明具有语义性质的命题态度的因果效力。
The intentional realist argument made by symbol computationalists is to show that propositional attitudes with semantic properties are causally efficacious.
我们用命题中可由感官感知的符号(声音的或书写的符号，等等)来作为可能出现的事态的投影。
We use the sensibly perceptible sign (sound or written sign, etc.) of the proposition as a projection of the possible state of affairs.
所谓数学解释，就是以某种方法对数学某一分支或者构成它的成分，诸如概念、命题、公式、符号等所赋予的各种意义的总和。
The so called maths summary is to summarize, by a certain way, the various meanings of a branch of its structural element such as conception, proposition, formula and sign etc.
既然消费领域是由符号所操纵，那么“品牌视觉符号”就成为一个值得探究的命题。
Since consumption is manipulated by the symbol, then the "brand of visual symbols" has become a topic worthy of inquiry.
这就给符号计算主义的意向实在论论证带来了问题：命题态度的语义性质如何能够对认知系统的行为具有因果相关性?。
This raises problems for the intentional realist argument: How is the semantic property of the propositional attitudes causally relevant to the behaviours of the cognitive system?
符号逻辑往往分为两个分支，命题逻辑和谓词逻辑。
Symbolic logic is often divided into two branches, propositional logic and predicate logic.
本文指出常用辨识框可分为符号集合型、有序命题集合型和实数闭区间型。
This peper points out that usual identification flame has three types: symbol set, ordered statement set and closed interval of real number.
中国符号交集模式中的形名、物我、言意诸命题，成为中国诗学的重要问题。
In addition, the propositions such as Xing-Ming, Wu- Wo, Yan-Yi in the China's symbolic intersection mode, are important issues in China's poetics.
中国符号交集模式中的形名、物我、言意诸命题，成为中国诗学的重要问题。
In addition, the propositions such as Xing-Ming, Wu- Wo, Yan-Yi in the China's symbolic intersection mode, are important issues in China's poetics.
应用推荐