查询词典 proof by contradiction

Where our dogmatists err on this question is that, on the one hand, they do not understand that we have to study the particularity of contradiction and know the particular essence of individual things before we can adequately know the universality of contradiction and the common essence of things, and that, on the other hand, they do not understand that after knowing the common essence of things, we must go further and study the concrete things that have not yet been thoroughly studied or have only just emerged.

例如，无产阶级和资产阶级的矛盾，用社会主义革命的方法去解决；人民大众和封建制度的矛盾，用民主革命的方法去解决；殖民地和帝国主义的矛盾，用民族革命战争的方法去解决；在社会主义社会中工人阶级和农民阶级的矛盾，用农业集体化和农业机械化的方法去解决；共产党内的矛盾，用批评和自我批评的方法去解决；社会和自然的矛盾，用发展生产力的方法去解决。

The article especially investigates in the original literatures the contradiction between the claimed universality in "the Law of peoples" and local legal practices and the reason of it. It reveals the Roman legists' efforts in using a common ideology to unify a diversified empire under the concept of"the law of peoples". The contradiction between legal ideality and legal...

为了对万民法有一个全景的勾画，离不开对原始文献中万民法规范被宣称的普世性与实际运作的有关法律规范的地方性的矛盾及其原因的揭示；古典时期的罗马法学家们力图在万民法概念下以一种共同的意识形态整合一个充满个别性的大帝国的苦心，反映了这一时期罗马帝国的法律理想与法律现实的矛盾。

The Shanxi Province childrens sports school trackathleteculture study manner is not earnest, uses in the cultural study timerelatively to beless; In the athlete training and the study existsthe principal contradiction is studiesteaches the contradiction;Faces the most stern question will be the next outlet question,theathlete, the trainer and even the guardians all worried for it.

陕西省少体校田径运动员文化学习态度不认真，用于文化学习的时间相对较少；运动员训练和学习中存在的主要矛盾是学训矛盾；所面临的最严峻的问题就是今后的出路问题，运动员、教练员乃至家长都为之担忧。

In Russia, there was a fundamental difference between the contradiction resolved by the February Revolution and the contradiction resolved by the October Revolution, as well as between the methods used to resolve them.

所谓了解矛盾的各个方面，就是了解它们每一方面各占何等特定的地位，各用何种具体形式和对方发生互相依存又互相矛盾的关系，在互相依存又互相矛盾中，以及依存破裂后，又各用何种具体的方法和对方作斗争。研究这些问题，是十分重要的事情。

The argument principle of the method of proof by contradiction is base on equivalent relation of dual propositions.

反证法是利用对偶命题等价的原理进行论证。

Based on this analysis, we then made a teaching assumption to get rid of such kind of thinking barrier, ie."Symbolizing the propositions in everyday life and finding dual proposition according to symbolic rule will enhance students' understanding of the argument principle of proof by contradiction."

进一步提出克服此种思维限制以发展逻辑思维的教学假设─「将生活情境中命题的真伪关系符号化，利用符号规则推理再转译回生活命题，可增进学生对反证法论证原理的了解」，并据以发展教案进行探究性教学。

Secondly,it is proved that monotonicity is equivalent to the law of proof by contradiction,and a simpler equivalent condition to monotonicity is given.

首先，讨论了择优逻辑的若干基本性质，并给出了单调性的一个充要条件；其次，证明了单调性与反证律等价，并给出了单调性的一个更为简洁的充要条件；最后，讨论了解释集合是归纳集时的单调性，证明了单调性与择优蕴涵的退化等价。

On the base of applied tech. and system structure, the key tech. are expressed in detail. It includes:Knowledge representation technology: it is described in two stages by "Depictive frame + Rule group"."Depictive frame" is used to reflect the factors concerning question field."Rule group" reflects the son-question in question field; knowledge management system: it is made up of knowledge-base editing component, factor classifying component, knowledge inspecting component and extractive knowledge component; uncertainty reasoning adopt method of elicitation search strategy and data drive controlled by member knowledge. It take reliability of compound proof at first. That can resolve the matching contradiction. Reasoning explanation introduce pre-text and followed method of resolving path. Knowledge discovery component take SLIQ as basic arithmetic. It provides classification model in two stage forms which aim at training suit. That is decision tree and productive rule.

在确定应用技术与系统结构的基础上，重点阐述了本文的核心技术，这包括：知识表示技术，采用"描述框架+规则组"的层次结构，"描述框架"用于描述问题域所涉及的因素，"规则组"反映问题域内的子问题；知识管理系统，由知识库编辑构件、因素分类构件、知识检测构件和知识求精构件组成；不确定性推理机采用启发式搜索策略，元知识控制的数据驱动，以复合证据可信度优先作为匹配冲突消解的策略，推理解释采用预置文本与求解路径追踪的方法；知识发现，采用SLIQ快速可伸缩算法，分类模型用判定树与产生式规则两种形式描述。

The proof of this is in the fact that Hincmar himself, when his claims to the metropolitan dignity are not in question, condemns very sharply, though at the risk of self-contradiction, the opinion of those who think that the king is subject only to God, and he makes it his boast to "follow the Roman Church whose teachings", he says quoting the famous words of Innocent I,"are imposed upon all men".

证明这是一个事实，即Hincmar自己，当他要求首都的尊严不是问题，非常急剧谴责，但在风险的自我矛盾，认为那些谁认为国王是只受上帝，他让他吹嘘为"按照罗马教会的教义"，他说，引用这句名言的无辜的我，是强加给所有的人。

In Chinese, the meaning of curriculum development based on schools has the logic problem of confused concept, self contradiction and circulative proof.

从实际来看，西语中的校本课程开发没有所谓&校本课程的开发&一说，在中文的语境下校本课程的开发一说存在概念不清、自相矛盾、循环论证等逻辑问题，同时也轻易引发诸多实际的问题。

You can do some assertiveness training.

你可以进行一些自信训练。

We were well on the path to making a rear-wheel-drive global platform," says Mays."

我们正致力于建立一个后轮驱动的平台，"Mays这样说道。"