查询词典 proof by contradiction

People have contradiction,that is natural and normal.

人与人之间有矛盾是正常的。

But, this kind of relationship develops in contradiction and conflict all the time.

但是，这种关系一直是在矛盾和冲突中发展的。

This is the contradiction in the rescue plan.

这是营救计划的矛盾之处。

How do you handle the contradiction between this?

你是怎么处理这之间的矛盾的？

In fact, it is the increasing contradiction and conflict between human and the nature.

这种矛盾和冲突威胁着人类的生存与发展。

That's a contradiction in his words.

他说的话自相矛盾。

There is no contradiction between the two.

有是没有矛盾的两者之间。

Based on the principle of advance, adaptive, reliability, high efficiency and flexibility, the general configuration strategy and the key technology has been deeply analyzed and optimized with the systematic and community in general and adaptive and contraposition in detail. The harmonic in both respects has been realized technically and the contradiction between adaptive and community solved. With the synthetic developing tool based on the database, the CAPP system called synthetic development CAPP which is of the properties of synthetic, modular redeveloped and integrated has been developed.

本论文以提高系统的先进性和实用性以及高效，灵活为基本原则，对CAPP的总体构成策略及其关键技术进行了深入地分析和优化，宏观上充分体现系统性和通用性，微观上切实体现针对性和适应性，技术上实现二者的协调统一，较好地处理了适应性与通用性这对既相互关联、又相互制约的矛盾；采用基于数据库的综合开发工具模式，研究并开发了综合式、模块化、具有二次开发和一定集成功能的CAPP系统——基于数据库的典型零件CAPP综合开发系统。

Summary: The fundamental structural characteristic of comedical contradiction lies in its contrariety, which means that the two components which constitute the comedical contradition depart from each other, so that the self-paradox centrifugal force is formed.

提要：喜剧性矛盾最基本的结构特征在于它的自我"背反性"，构成喜剧性矛盾的两种因素相互背离、南辕北辙、恰成反对，因而形成一种自我拆解的离心力。

Objectively, the controvert of critics towards Bunin's works both illustrates the difference of critics' visual angle and position, and refracts the contradiction and complexity of Bunin's own creative idea and world outlook.

客观地说，评论界对蒲宁作品的争议，既反映了评论家们视角和立场的不同，也折射出蒲宁本人创作思想和世界观的矛盾性和复杂性。

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月底。