这样的命题形式就是休谟所谓的意识之间的关系。
So these kinds of propositions are for Hume's relations of ideas.
命题及命题形式的分类是一个相当复杂的问题。
The proposition and classification of propositional forms are a very complicated problem.
辩证思想、辩证命题的辩证性来自思想的内容，不取决于它的命题形式。
The dialectical character of the dialectical propositions originates from the content, rather than from the forms of proposition.
本文以命题形式讨论无棱二面角的平面角大小的几种解法并加以证明和举例。
In the form of propositions, this paper discusses several solution methods of the size of dihedral angles and proof and example are also offered.
“宋文”的“证明”更加证明了“光既是粒子又是波”具有辩证思维命题形式。
The certificate of Songwen even more proves that that light is not only particle...
对性质命题的定义、种类、性质命题与性质命题形式、性质命题的对当关系做了全新的研究和解释。
The proposition of character on definition, kind and form will be explained and studied roundly in this paper.
根据关联理论，隐喻是随意言谈的一种，它的命题形式与说话人思想的命题形式之间存在着相似关系。
According to relevance theory, metaphor is but a kind of loose talk whose propositional form resembles that of the speaker's thought.
一个无法判定的命题可以被当成是“我总是说谎”的数学形式。
An undecidable statement can be thought of as a mathematical form of a statement like "I always lie."
四年来，“艺术的‘语言’究竟是什么？”这一命题的重要性从未衰减，究竟有没有一种现存的话语形式也可以传达艺术的意境？如果有，它是什么？
Four years on, the importance of finding and using language about the arts, and which belongs to the arts, is as vital as ever. What might it be?
经典命题逻辑是现代形式逻辑的基础。
The classical proposition logic is the basis of modern formal logic.
命题中包含命题意义的形式，但非其内容。
In the proposition the form of its sense is contained, but not its content.
汉语表达肯定命题的否定句式的实质是连用两次否定形式并表达一个肯定意义。
The essence of negative sentence pattern to express affirmative proposition is to link two negative forms together for a positive sense.
解释命题、命题逻辑和其涉及的否定、合取、析取、蕴涵和等价等定义，同时分析它们的形式和用法。
This paper explains the proposition and propositional logic, giving the definitions, forms and usages of negation, conjunction, disjunction, implication and equivalence.
本文认为否定命题作为一种独特的思维形式，有着重要的逻辑功能和认识价值。
This paper suggests that the negative proposition, as a unique form of thinking, has its important logical function and cognitive value.
本文应用形式矩阵的计算技巧，得到李善兰恒等式的一个等价命题，进而给出李善兰恒等式的一个初等证明。
In this article we apply formal matrices technique to get a equivalent proposition of Li Shanian identity, and hence give an elementary proof for Li Shanlan identity.
在此基础上，本文对英语动词的进行体形式和命题内容分别表示的体态意义分别进行了研究。
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.
本文讨论了中介逻辑命题演算(MP)的形式系统。
This paper deals with the formal system of propositional calculus of medium logic (MP).
该定理揭示了在一个相容形式系统中存在着不可判定的命题。
This theorem reveals that there exist undecidable propositions in a consistent formal system.
玩忽职守罪的罪过形式只能由过失，而不能由故意构成，否则会违反矛盾律、充足理由律及复合命题推理的基本规则。
And the former should happen because of negligence, not intent, otherwise it will violate contradiction rules, good-reason rules and the fundamental principles of composite proposition reasoning.
满足关系是当理由型的具体命题真时论断型的具体命题一定真的形式命题关系。
Therefore, a formal truth is a true proposition to determine whether the formal proposition is of universal effectiveness or relation of satisfaction.
将宿舍讨论抽号试讲、单双号相互问答、自己命题自己答等形式和方法用于心理学教学，也有较好的效果。
We also get a good result by pulling some forms and methods into the teaching, such as discussions in the dorm, questions and answers, asking and answering by oneself.
测试的实施，需要命题者在充分理解测试的有效性和可靠性的基础上，科学地设计测试形式和测试内容以确保测试目标的达成。
Testing designer should design test format and test content on basis of validity and reliability to ensure that the required standards are met.
它们由线性的因果决定和不相容选言命题的形式构成。
It is formed by linear causal model and incompatible disjunctive proposition.
欧几里德仅仅依靠形式思维，通过图形佐证形成体系，在第29个命题中首先运用第五公设。
Depending only on formal thinking, Euclid formed system through figure proof, firstly applied the fifth postulate in the 29th proposition.
避免把一个又一个命题用子句的形式叠成一长串，也要避免用词的重复。
Avoid long strings of propositional clauses. And try not to repeat the same words.
如果能证明该蕴涵式为重言式，那么其数学命题的证明推理形式就是正确的。
If the containing type can be proved to be heavy speech type, the method of the mathematical proposition proving and reasoning is correct.
关联理论从命题态度对各语言形式进行定义。
Relevance theory defines linguistic forms in terms of propositional attitude, which exists the forms and their illocutionary force.
预设往往是以句子形式来探讨命题间的关系、判断命题的真假。
Presupposition is, in the form of sentence, an investigation of the relationship between statements and judgment of their truth value.
预设往往是以句子形式来探讨命题间的关系、判断命题的真假。
Presupposition is, in the form of sentence, an investigation of the relationship between statements and judgment of their truth value.
应用推荐