查询词典 proof by contradiction

In addition, the position of semantic barycenter in C.A.S, smoothness or contradiction in the meanings of conjunction, different conjunctional meanings in different conjunctional marks are factors that affect the ellipsis of conjunctional marks in C.A.S.

从语义上看，紧缩句前后件语义重心的落点、关联语义的顺逆、不同的关联标记的不同关联意义，都是关联标记能否缩省的原因。

Your / consignee's assertion below is basically a contradiction.

你的代理人的以下声明基本上是自相矛盾的。

But this transformation law is in contradiction to the constant character of the velocity of light.

但是这个转换定律跟光的不变性是矛盾的。

There is nothing that does not contain contradiction.

没有什么事是不包含矛盾的。

Under the guidance of city planning, the spatial contexture of the streets should continue the historical unity and coherence in writing and show the traditional structure and also solute contradiction appropriately between the modernizational constructions and inheriting traditions.

在城市规划的指导下，城市街道的空间布局应延续其历史文脉，突出其传统格局，彰显其空间气韵，妥善解决现代化建设和继承传统的矛盾，环境创造中应充分体现西安的地域性、文化性和时代性的特征。

In such contingencies , it is the task of this dictatorship to resolve the contradiction between

在这种情况出现的时候，专政就担负着对外解决敌我之间的矛盾的任务。

In such contingencies, it is the task of this dictatorship to resolve the contradiction between ourselves and the external enemy

在这种情况出现的时候，专政就担负着对外解决敌我之间的矛盾的任务。

The former principle emphasizing the continuity of the group is in contradiction with the latter principle that stresses individual's personal ability.

另一方面，社会经济条件的改变，虽提供不同原则发挥的环境，但家庭形式并不依其社会经济条件下的理想型形式来发展。

But, environmental protection and economic development often appears contradiction continuum in the long history of human development.

然而在人类发展的历史长河中，环境与经济发展常表现为矛盾统一体。

And if you do, there is contradiction...

如果你这么做，就会有矛盾。。。

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