对性质命题的定义、种类、性质命题与性质命题形式、性质命题的对当关系做了全新的研究和解释。
The proposition of character on definition, kind and form will be explained and studied roundly in this paper.
强调二进制的性质这一问题，这是经常被称为布尔或命题满足。
To emphasize the binary nature of this problem, it is frequently referred to as Boolean or propositional satisfiability.
符号计算主义的意向实在论论证的要点，是表明具有语义性质的命题态度的因果效力。
The intentional realist argument made by symbol computationalists is to show that propositional attitudes with semantic properties are causally efficacious.
然而，在这里，命题态度的因果效力是通过命题态度的句法性质而得到论证的。
However, the causal efficacy of propositional attitudes here is based on the syntactic properties of the attitudes.
首先以蕴涵算子为基础从有限扰动模糊命题逻辑出发，讨论其逻辑代数及广义重言式的性质。
Firstly, on the basis of implication, originating from the limited Disturbing Fuzzy Propositional logic, discusses its logic algebra and the properties of its generalized tautology.
渐近鞅型序列具有很好的性质，本文给出实值渐近鞅的四个等价命题，并应用停时理论对它们予以证明。
Amarts have very good properties. This paper gave the four equivalent propositions of R-Value's amart and their proofs by utilizing the theory of stopping time.
这就给符号计算主义的意向实在论论证带来了问题：命题态度的语义性质如何能够对认知系统的行为具有因果相关性?。
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?
图书馆学学科性质是有争议的命题，目前具有代表性的观点有五种。
The subject nature of library science is a controversial proposition. There are five representative viewpoints at present.
另外一些几何命题则真正是分析性质的，并且是完全依据矛盾的原则得。
Some few fundamental propositions, presupposed by the geometrician, are, indeed, really analytic, and rest on the principle of contradiction.
命题的一个极为重要的性质是有真值，它要么真要么假。
A very important property of the proposition is that it has a truth value.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
With respect to the principal disjunctive normal form and the principal conjunctive normal form, we also approach the properties of the subscript sets derived from the minimum term and maximum term.
我们认为，一种形而上学话语的哲学性质就在于它拘执于它所反对的东西的本质之中，所谓形而上学的命题反过来仍然是形而上学的命题。
We believe that the philosophical nature of a metaphysical discourse is that it sticks to the nature of its being against. Metaphysical proposition in turn, is still metaphysical proposition.
除了具有悖论性质的“不真不假命题”，还存在着具有半悖论性质的“不真命题”和“不假命题”。
Apart from this proposition, there exist "not true proposition" and "not false proposition" of semi-semantic paradox.
动词是反映客观世界各种各样动作、行为等的语言范畴，就语义性质而言，它在语言中实际代表的是一个命题、事件。
Verb is a linguistic category which indicates various act and activity. Verb from semantic perspective in practice represents a proposition or a event.
动词是反映客观世界各种各样动作、行为等的语言范畴，就语义性质而言，它在语言中实际代表的是一个命题、事件。
Verb is a linguistic category which indicates various act and activity. Verb from semantic perspective in practice represents a proposition or a event.
应用推荐