查询词典 proof by contradiction

This is a contradiction, an anomaly, a seemingly impossible situation, but it is true.

这是一种矛盾，一种异态，一种表面看来不可能的现象，然而这是真实。

The problem of moral anomy in period of social transition is the manifestations of moral contradiction in the phenomenon community, and also people's deviant behaviour in behavioral dimensions with sense system crisis and values crisis in people's hearts as the basic content.

社会转型期道德失范问题其本质是道德矛盾在现象界的表现形式，是以人们心灵中的意义系统危机和价值观念危机为基本内容，并大量地表现为人们在行为层面的越轨现象。

Finally parents and we are in a contradiction, forming a kind of antagonistic relationship.

最后家长和我们处在了矛盾之中，形成了一种对立关系。

With the development of coastal economy, the antagonistic contradiction between the utilization and protection of coastal wetlands emerged.

随着沿海经济的发展，滨海湿地的利用与保护存在尖锐的矛盾。

Control and anti - control has always been a contradiction to promote the development of table tennis.

控制与反控制的矛盾始终是推动乒乓球运动发展的原动力。

SW: Intellectuals today are more and more inclined to recognize and support you even though you were seen as an anti-intellectual vanguard before. Is there a contradiction in this?

南方周末：如今中国的知识分子越来越认同你和支持你了，可你以前被当作是一个反智的先锋，这矛盾不矛盾？

Nature is changing but man can't; which is contradiction and antinomy.

自然处在不停的变化中，而人却不改变自己的机体结构和新陈代谢类型，这就是矛盾和对立。

Even if the contradiction and antinomy arising the relation, is also territorial and can't tend to global environmental crisis.

人和环境的关系即使发生矛盾对立，也是区域性的，不会形成全球性的环境危机。

How to abolish the barrier of contradiction and promote international antiterrorism cooperation has thus become an urgent problem that international society must solve.

如何消除引渡障碍和加强国际反恐合作，成为国际社会必须面对和亟待解决的问题。

We find in form, the surface parts which are put in front of the time marks of the two structures are antithetic of affirmation and negation; in content, these two structures fully show their complementary distributions with their process meaning and critical meaning. And the essence of the complementary distributions is the contradiction of one-way dimension of objective time and inverse subjective thought.

从形式上看，在"没有VP之前"与"VP之前"结构的时间标记之前的表层成分是否定和肯定的对立；从内容上看，尽显"没有VP之前"与"VP之前"各自独立品格的是过程意义与临界意义的互补分布。

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