查询词典 proof by contradiction

So it is worthy to discuss that how to understand the power of the civil adjudgment or how to easy up or solve the contradiction between the theory and some problems in the civil lawsuit.

因此如何认识既判力以及缓和或者解决该理论与民事再审问题的矛盾是值得我们探讨和研究的。

Mainly manifested in: the growth rate of investment is still high, the problem of irrational investment structure is still evident; capital loans continue to rise, the problem of irrational credit structure remains relatively conspicuous; coal, electricity, oil, and transport supply and demand tension electricity Yingfeng aestivation of the situation is quite grim; pressure on overall price level is still larger; total grain supply and demand and the obvious contradiction between the structure of the varieties, rapid decline in grain stocks.

主要表现在：投资增幅仍然偏高，不合理的问题仍然是投资结构明显；资金贷款继续增加，不合理的问题信贷结构仍然比较突出；煤，电，油，运的供应和需求峰度夏用电紧张的形势相当严峻；压力，价格总水平仍然较大；粮食总供求关系和矛盾突出的品种结构的快速下降，粮食库存。

In order to avoid the crisis of procedural legitimacy rooted in this contradiction,the west countries'practice is,under the judicial system in a semi—autonomous and semi—open state,to achieve the beneficial interaction among policy, procedural institutions and the rules so as to guarantee the judicial capability in the modern society and hereby design the procedure according to the criminal policy oftreating petty misdemeanor with more alleviative disposition and treating felony with more severe sanction.

西方国家的实践经验是：在司法系统保持半自治半开放的状态下，政策与程序制度、规则进行良性互动，按照"轻轻重重"的刑事政策设计诉讼程序，以此维持司法制度在现代社会中的程序能力。

Most importantly, he demonstrates that the contradiction moderns imagine between piousness and brutal violence is anachronistic.

大部分重要的，他表明，现代人之间的矛盾和野蛮的暴力虔诚想象是不合时宜的。

An angelical fiend is a contradiction in terms.

天使般的恶魔－这是一种自相矛盾的说法。

Wang Xiaoqi expresses, be based on above analysis, can see accelerate adjust recombining should be steely enterprise answers a challenge, the most significant step that solves contradiction to be able to be adopted, also be the underlying demand that enterprise implementation can expand continuously; Look from another angle, also be Chinese iron and steel industry is accelerated in the near future adjust recombine, realize the favorable opportunity that the industry upgrades.

王晓岐表示，无论是基于以上分析，可以看出加快调整应钢铁般的重新组合企业的答案是一个挑战，最重要的一步，解决了矛盾能够获得通过，也将是潜在需求，企业实现可以不断扩大；查询从另一个角度来看，也将中国钢铁工业是在不久的将来加快调整重组，实现的有利时机，该行业的升级。

Thus we can reveal the fact that the theory of world history of Marx and the globalization movement in the whole world are mutually intermediaries, realize the reflection on the globalization social development from the angle of world history, and advance the theory of basic contradiction of global social development.

正是基于这样的视角和方法，我们得以揭示马克思的"世界历史"理论与当今世界范围的全球化运动之间互为中介的事实，由此实现从世界历史视域出发反思全球化背景下的社会发展问题，并提出了全球社会发展基本矛盾的理论。

These two types of theories are not consistent due to the contradiction of dependence and independence of the rotation angle.

这两种理论存在着转角的独立性与不独立性之间的矛盾，因而不相兼容。

2 A real life contradiction: We can only depend on the English educated citizens to prevent the Anglicization of Singapore, is this possible?

4.2 一个现实的矛盾：我们只能依靠受英文教育的人民防止新加坡的英语化，这可能吗？

It is in order to dig golden bay mine exemple, analysed the difficulty that anile mine exists and contradiction, put forward to must be relied on deepen mechanism of reform, changeover, science and technology to dig go, synergism of billabong of aggrandizement interior management, executive come off sentry duty, depletion of numbers, development diversified economy and tertiary industy will solve these difficulty and problem, put forward to make the business changes the line of production smoothly the countermeasure of development.

以挖金湾矿为例，分析了衰老矿井存在的困难和矛盾，提出了必须依靠深化改革、转换机制、科技挖潜、强化内部治理、实施下岗分流、减员增效，发展多种经营和第三产业来解决这些困难和问题，并提出了使企业顺利转产发展的对策。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。