查询词典 proof by contradiction

In the contradiction among the coherence theory、truth dualism and logic apriorism, Tarski published《the semantic notion of truth in formal language》in 1935 ,creating new approach to study the truth and setting up theory of truth which regarded as the more complete theory on logic truth than others in the history.

真理符合论、真理二元论以及逻辑先验论的长期斗争和矛盾使得美籍波兰学家塔斯基独辟蹊径，在1935年发表了《形式化语言中的真理概念》，开创了真理研究的新途径，建立了语义学真理论，这也是历史上第一个比较完整的逻辑真理论。

These studies could provide the basic data and research achievement on analysis the difference of plant transpiration and water consumption between different tree species. It contribute to instructional significance to regulate and control the moisture relations between every factor, and solve contradiction between moisture providence and demanding. At the same time, It will be provided the theoretical evidence for plants choosing and arranging ,and properly using water resources in arboriculture and maintenance.

这些研究为分析造成不同树种之间蒸腾耗水的差异提供了基础资料，对于调控各因素之间的水分关系，解决水分供需关系矛盾有重要的指导意义，同时也为植物选择与配植，栽培与养护中合理地利用水资源提供了理论依据。

All affection all is a meteor be finished off at one blow so may come to naught in a contradiction.

所有的感情都是那么不堪一击会在一个矛盾中化为乌有流星。

The development is likely to cause contradiction and attrition,just like China.

象中国这样的大国，她的发展有可能会引起一些矛盾和磨擦。

Fluid strength torque converter although can stepless change the torque in certain scope compared to, but because it exists changes turns between ability and the efficiency contradiction, at present the application fluid strength torque converter generally changes turns the coefficient insufficiently to be all big, satisfies the automobilism request with difficulty, therefore on the high-quality passenger vehicle, widely uses is fluid strength torque converter and the gear type transmission gearbox union composition fluid strength mechanical type variator.

液力变扭器虽然能在一定范围内无级地改变扭矩比，但由于它存在着变扭能力与效率之间的矛盾，目前应用的液力变扭器一般变扭系数都不够大，难以满足汽车使用要求，故在高级轿车上，广泛采用的是液力变扭器与齿轮式变速器联合组成液力机械式无级变速器。

To a certain extent, this success has mitigated the contradiction between China's ballooning population and its economic and social development.

这在一定程度上缓解了人口过快增长同经济、社会发展不相适应的矛盾，对于促进社会主义现代化建设，提高人民生活水平和全民族素质直到了重要的作用，对于世界人口的稳定也作出了重要贡献。

Phoenix town is original and simple, which has much contradiction with the modern times. These boat trackers who still cry out belong Tuojiang River,these women who wrapped with coarse cloth and decorated with silver, these abrupt electric perches and swing wire in the sky of old town, these colorful cutain and bed sheet are optionally hanged on gate baluster of the town.

那些沱江上游依然吆喝着号子的纤夫们，那些吊脚楼前用银饰和粗布裹满全身的湘西女人们，那些沿着古街一字排开挤得密密的突向街道的吊脚楼，那些突兀在古镇当中在空中游走的电杆和电线，那些花花绿绿的随意搭在楼门栏杆上的印花布门帘床单，那些隔离了城市的喧嚣而依然热闹的杂吵吆喝与闲谈的声响，他们，她们，或者它们！

We realize TCP/IP distributed simulation in client/server computing mode on Novell Network by Network programming interface NETBIOS (Network Basic Input/Output System) and provide Graphic User Interface for users in WINDOWS development environment. We solve upgrading problem of WINDOWS FOR WORKGROUPS in installation and contradiction between NETBIOS interrupt call with windows multitask scheduling and memory management.

在协议实现方面，以NOVELL网络为开发环境，用WINDOWS为用户提供图形界面，以客户/服务器方式，运用网络编程接口NETBIOS实现了TCP/IP分布式仿真，并解决了Windows for Workgroups安装过程中的升级问题及NETBIOS中断调用与WINDOWS多任务调度、内存管理的冲突。

Behind every decision I have made in my public life there always seems to be an apparent contradiction.

后面的每一项决定，我已在我的公共生活中总是有似乎是一种明显的矛盾。

If sin is man's contradiction of God and his expressed will, God cannot be complacent about sin and still be God.

如果罪是人对上帝及其明显意旨的反驳，那上帝就不能对罪自满而却仍然是上帝。

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