逆证明英文解释翻译、逆证明的近义词、反义词、例句
英语翻译：
【经】 negative verification
分词翻译：
逆的英语翻译：
athwart; contradictorily; counter; disobey; go against; inverse
【医】 contra-
证明的英语翻译：
prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【计】 proofness; proving
【化】 proofing
【医】 certificate; certify; proof
【经】 attest; attestation; authenticated; authentication; certification
certify; testimony
网络扩展解释
逆证明
逆证明（nì zhèng míng）的拼音中，“逆”意为相反、反向，“证明”则指明证、证实等。逆证明的英文解释是“reductio ad absurdum”，意为通过证明假设的反面得出结论。
在英文中，逆证明的发音为 /rɪˈdʌkʃəʊ æd əbˈsɜːdəm/。
逆证明是一种重要的逻辑推理方法，用于证明某个命题或前提是真实的。逆证明的过程中，假设原命题不成立，通过发现矛盾或荒谬的结论来证明原命题的正确性。
例如，假设要证明“所有的狗都会叫”，则可以使用逆证明的方法。首先假设“有一种狗不会叫”，那么通过这种狗不会叫的证明，得出结论是错误的，那么原命题“所有的狗都会叫”就是正确的。
逆证明在数学、哲学、物理学等领域被广泛应用。严格的逆证明在实践中很困难，但可以帮助人们更好地理解逻辑和证明的过程。
英文例句
Here is an example of proof by reductio ad absurdum. Let’s assume that $√2$ is rational. This means that we can write it in the form of $\frac{a}{b}$ where a and b are two integers without a common factor. It follows that $a^2$ is even. As even numbers are divisible by two, it can be written as $a^2 = 2k$ for some integer k. Therefore, $a^2/2 = k$ is also an integer. This means that $b^2$ is even, which contradicts our assumption that a and b have no common factor. So, we can conclude that $√2$ is not rational.
这是一个通过逆证明来证明的例子。假设 $√2$ 是有理数。这意味着可以将它写成 $\frac{a}{b}$ 的形式，其中 a 和 b 是两个没有公因数的整数。那么 $a^2$ 是偶数。由于偶数可以被二整除，因此它可以被写成 $a^2 = 2k$ 的形式，其中 k 是一个整数。所以，$a^2/2 = k$ 也是一个整数。这意味着 $b^2$ 是偶数，这与假设不符。所以，我们可以得出结论：$√2$ 不是有理数。
英文近义词
逆证明的英文近义词为“indirect proof”，意为通过反证法来证明事物的正确性。
英文反义词
逆证明的英文反义词为“direct proof”，意为通过直接证明来证明某个事情的真实性。
英文单词常用度
根据权威英语排名网站Wordfrequency.info的数据，reductio ad absurdum在英语中的使用频率为65976，也就是说，这个术语在英语中的使用非常罕见。