查询词典 proof by contradiction

In the end of this chapter,thenonlocality proof of Greenberger etal is summarized.

在该章最后，介绍格林伯格等人的非局域性证明。

At present, fiber fabric not only has cold-proof functions for the clothes, but expect to has additional functions of picking up the moisture, arranging sweat and can be fluffy and keep glossiness on the sense of touch. In recent year, experimentalists are developing the function fibers, such as the conjugated fibers, profile fibers, and extra-thin fibers, etc.

现今的纤维织物不仅赋予衣物具有保暖功能，更期望能有吸湿、排汗等附加功能且在触感上能蓬松并保有光泽度，因此近年来陆续发展复合纤维、异型纤维及超细纤维等机能性纤维。

One strong proof of my wretchedly defective nature is, that even her expostulations, so mild, so rational, have no influence to cure me of my faults; and even her praise, though I value it most highly, cannot stimulate me to continued care and foresight.

我的本性有严重缺陷，一个有力的证据是，尽管她的规劝那么恰到好处，那么合情合理，却依旧治不了我那些毛病。甚至她的赞扬，虽然我非常看重，却无法激励我始终小心谨慎，高瞻远瞩。&&

Producer detailed material and goods supply ability proof.

生产商详细资料和供货能力证明。

In most legal proceedings, one of the parties has the burden of proof, which requires that party to present prima facie evidence of all facts essential to its case.

在多数法律诉讼，党的当中一个有提供证据的责任，要求那个党提出初步印象所有事实的证据根本对它的情况。

In most legal proceedings, one of the parties has the burden of proof, which requires that party to present prima facie evidence of all facts essential to its case.

在大多数的诉讼程序中，一方当事人有这样的证明责任，这方当事人基于关有于这个案子的所有必要事实中提交初步证据。

This is done by formalising the NSL (Needham-Schroeder-Lowe) protocol and its correctness in Agda, an interactive proof editor, using both the inductive method and strand spaces in Agda.

使用归纳方法和串空间分别将NSL(Needham-Schroeder-Lowe)协议及其正确性在辅助证明系统Agda中形式化，并比较了这两种安全协议验证法，证明两种方法形式化的正确性和攻击者能力是相同的。

He further assured that this was the proof that apples were grown at mountain where extreme cold caused hailstorms.

他进一步表示，这是在山上种植苹果的证明那里严寒造成雹。

In addition, there is no proof that homosexuals can be transformed into heterosexuals.

此外，没有任何证据表明同性恋者可转为异性恋。

I'd like some proof that Pam is safe.

请向我证明我妻子 Pam 还安全。

You can do some assertiveness training.

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

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

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