对数学逻辑素养较高的被试进行了条件命题规则运用和样例学习迁移研究。
This study inquires the rule use and example transfer for subjects who have higher manner in mathematics logic.
在逻辑中，指两个命题被归为真实条件命题的前因与后果时二者之间的关系。
In logic, a relation that holds between two propositions when they are linked as antecedent and consequent of a true conditional proposition.
尽管没有用处，但对于一个比我条件更好，更悠闲的研究者来说，弄清楚牛顿与传统以及他的时代的确切关系有时可能是一个有趣的命题。
Some time it might be interesting, but not useful, for some student better equipped and more idle than I to work out Newton’s exact relationship to the tradition and MSS. of his time.
在引理15'的假设下，技术条件B是真命题。
Under the hypotheses of Lemma 15 ', technical condition B is true.
其次，我们建立命题型的择类语义，给出描述上述系统的特征公理的框架条件。
Secondly, we introduce a prepositional class-selection semantics, give the frame conditions of the character axioms of the systems.
结合高等院校教学实际讨论高校图书馆网络化条件下图书馆服务管理的人本化命题。
In combination with the practical education in the higher schools, this paper discusses the humanistic management of library service under the condition of library network.
在亚里士多德的视野中，论证语感是交往会谈者对语言如何表达命题及其真值条件的适当反应。
According to the Aristotle's viewpoint, the language feeling of argument was the appropriate reaction of the interlocutor to how the propositional truth condition was express by the language.
数学命题的证明步骤是由已知条件逐步推演形成的系统。
The proving procedures of mathematical propositions construct the system deduced progressively from known conditions.
表示模型元素之间的一种语义关系，该语义关系指定了必须保持为真的条件和命题。
Represents a semantic relationship among model elements that specifies conditions and propositions that must be maintained as true.
命题符合该条件，是真正的真值承担者。
Propositions meet with them, so they are genuine truth- bearer.
如果它是事物的组成部分或者事物的顺序，那么它就不能成为先于物体的条件，并且不能用先验归纳的命题来被感知为先验的。
Were it a determination or order inhering in things themselves, it could not precede the objects as their condition, and be known and intuited apriori by means of synthetic propositions.
语义预设是指命题的真值条件。
Semantic presupposition is a truth-value condition of a proposition.
从相似矩阵具有相同的特征多项式出发，逐步改变和减弱命题中相关条件，得到了几个关于矩阵特征多项式的结论。
Based on from the fact that similar matrices have the same polynomial, we change and weaken concerned conditions in the propersition then get conclusions about charactersitc polynomials of matrices.
在阐述矿山开采优化设计命题内涵的基础上，指出了矿山开采优化设计的主要技术内容及其实施的条件。
On the basis of illustrating the meaning of optimizing mining design, the main technical contents and practicable conditions of the optimization adopted by mines are given.
外部否定主要包括对句子情态的否定和对命题的合适性条件的否定，后者又称元语言否定或语用否定。
External negation mainly includes the negation of modality and felicity condition of the sentences. The latter is also named meta-linguistic negation or pragmatic negation.
通过分析奥斯丁、凯尔森以及哈特三人理论的共同点，我认为，坚持法律与道德之间不存在必然关系的分离命题是某一理论得以称为实证主义的主要条件。
Through research the theory of John Austin, Hans Kelsen, and Hart, the Separation Thesis is the key to understanding positivism, which object the necessary connection between law and morality.
实现对否定句的实际状态模拟是受到语用条件的限制的，否定并不是对否定辖域命题内容的反向推理。
The achievement of simulation of actual state of affair was constrained by the pragmatic factors. Negation was not the opposite inference of the propositional contents within the negation scope.
给出了有关凸泛函的两个命题，并由此对凸下半连续泛函的下控定理、次可微定理的条件、结论及证法进行了探讨。
As to their applications, some results about the low control theorem of the convex lower semi-continuous function and the subdifferentiable function theorem are obtained.
讨论了命题公式的主析取范式、主合取范式中的极小项与极大项下标集合的性质，利用主范式的下标集合得到了命题公式蕴涵的几个充要条件。
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.
极端环境条件下的建筑设计方法这个命题所涉及的范围非常广博，本篇论文所论述的方向只涉及了这个命题的一个侧面。
Under extreme environment condition's architectural design method this proposition involves the scope is vast, this paper elaborates the direction has only involved this proposition side.
在某些限制条件下，其逆命题也成立。
Under some conditions, if obeys central limit theorem, so does, and the inverse theorems are studied.
从人道并非刑罚的价值要素这一命题，可以得出基于人道废止死刑是有条件的结论。
From the proposition that humanitarianism is not the value element of the penalty, we can conclude that the abolishment of penalty for advocating the idea of humanitarian is conditional.
我国人口众多，具有人力资源的优势，但这一命题只有在一定条件下才能成立，人口多，未必人力资源就多。
China has huge population, and possesses advantages. But this comment can only be established under certain condition. Huge population doesn't necessarily mean massive human resources.
我国人口众多，具有人力资源的优势，但这一命题只有在一定条件下才能成立，人口多，未必人力资源就多。
China has huge population, and possesses advantages. But this comment can only be established under certain condition. Huge population doesn't necessarily mean massive human resources.
应用推荐