查询词典 proof by contradiction

I think we've established that the killing is not in itself proof of CS.

& / &我认为我们已经建立杀害者对 CS 不是本来不能透入的。

Id . at 1336. Commenting on this Court's holding in Asbestos Corp. Ltd. v. Compagnie de Navigation , 480 F.2d 669, that the shipper must prove that the carrier's negligence caused the fire damage, the Ninth Circuit stated that the "use of this language was entirely unnecessary" and constituted a "casual treatment of the burden of proof by the author of the appellate court opinion."

编号。在1336年。评论这次法院的控股在石棉有限公司诉compagnie德导航， 480 f.2d 669 ，托运人必须证明承运人的疏忽造成火警造成的损害时，第九巡回指出，&使用这种语言是完全不必要的&，构成了&临时工待遇的举证责任由作者上诉法院的意见。&

A top archaeologist in Egypt says he may have found the lost tomb of Mark Antony and Cleopatra. He says the proof includes 22 coins bearing Cleopatra's face and name.

埃及的考古学家说他发现了一个 Mark Antony and Cleopatra的墓地，他说证明了22的硬币上面带有Cleopatra的面相和名字。

Using abstract programming language, such as Apia, the specification and derivation of the algorithmic program in six typical trees, graph problem is described. The standard proof and formal derivation is implemented by two above new strategies for developing loop invariants. The algorithm in Apia is transformed into corresponding program in Delphi and C++ by the automated algorithmic transformation system that Partition-and-Recur method provided and correct result is received. These improve reliability and developing efficiency of the kind of complex algorithm.

利用抽象程序设计语言Apla精确描述了6个典型树、图等问题的程序规约和求解算法程序，用上述提出的两种新策略开发了循环不变式，实现了严格的形式化推导或证明，并用PAR方法提供的算法程序自动转换系统将得到的Apla算法程序转换成对应的Delphi和C~程序，均得到了正确的运行结果，大幅度地提高了这类复杂算法程序的可靠性和开发效率。

We can only answer here that the burden of proof rests with him, and that the teaching of the Apostolic Fathers, as quoted by Swete and others, points to a very different conclusion.

我们只能在这里回答的承担举证责任在於他，而且教学的使徒父亲，作为引述Swete和其他点，一个非常不同的结论。

There is not the least proof that there must be one head ruling the church in spiritual matters who always lives with the church militant.

是不是至少证明须有一名头部执政党教会在属灵的事情上，他们总是生活与教会活动分子。

11 A second proof for the main conclusion is this. The end is the first cause in causing, wherefore Avicenna calls it the cause of causes. Reason confirms this, for the end moves metaphorically in so far as it is loved, and this is why the efficient cause gives form to the matter.

2.11 对主结论的第二个证明如下：目的是产生因果关系的第一因，因此阿维森纳称之为诸因之因，我们的理性证实了这一点，因为目的只要被仰慕，它就以隐喻的方式运动，这就是动力因把形式赋于物质的原因。

The spontaneous and overwhelming involvement of Scouts on the Internet is proof that it is a viable way of bringing Scouts together in ways that Baden-Powell probably would have wanted to use to the fullest.

童军伙伴是最早利用电子通讯达成伙伴相聚的团体之一，童军伙伴在网路上的活跃参与，说明这是聚集伙伴的良好方法，在这种自然和无法抗拒的网路趋势下，发展出的童军网路活动，就是贝登堡先生在世恐怕也会率先去推动。

The company produces various electric power electric cable,the control electric cable,computer electric cable,mineral mainly with the correspondence electric cable,mineral to use signal electric cable,showbiz light electric cable,this Anne's electric cable and compensate electric cable,heat electric cable,ship to have no Water and separate the oxygen layer with the electric cable,fire-proof electric cable,rubber electric cable,low smoke currently etc. fasten a type of electric cable.

公司目前主要生产各种电力电缆、控制电缆、电子计算机电缆、矿用通信电缆、矿用信号电缆、影视灯光电缆、本安电缆、补偿电缆、高温电缆、船用电缆、耐火电缆、橡胶电缆、低烟无卤及隔氧层等系类电缆。

If any of the statements do not fit your requirements, please call us as we may be able to complete your quote by phone.After buying your car insurance policy, please send proof of your NCD to us at:Churchill Insurance Company Limited, Churchill Court, Westmoreland Road, Bromley, BR1 1DP

如果有任何的声明不符合您的要求，请致电我们，因为我们可以完成您的回复电话在购买汽车保险政策，请联系我们：丘吉尔保险有限公司，丘吉尔法院威斯特道，布罗姆利， BR1 1DP

You can do some assertiveness training.

你可以进行一些自信训练。

We were well on the path to making a rear-wheel-drive global platform," says Mays."

我们正致力于建立一个后轮驱动的平台，"Mays这样说道。"