reductio_ad_absurdum

複数:

reductio_ad_absurdums

意味・定義

2つの辞書から2件の定義

日本語WordNet

1件

名詞

1背理法

(reduction to the absurd) a disproof by showing that the consequences of the proposition are absurd; or a proof of a proposition by showing that its negation leads to a contradiction

ライセンス: BSD-style License

AIによる解説

1件

1論理学・数学における証明法の一つ。「背理法」と訳される。ある命題を否定したと仮定し、矛盾が導かれることを示して元の命題が真であることを証明する。ラテン語で「不条理への帰着」の意。

A method of proof in logic and mathematics, translated as 'proof by contradiction.' Assumes the negation of a proposition, demonstrates a contradiction arises, proving the original proposition true. Latin for 'reduction to absurdity.'

ライセンス: KeyLang Original

例文

この単語を含む例文でタイピング練習ができます

The philosopher employed reductio_ad_absurdum to defeat his opponent's argument.

その哲学者は相手の主張を打ち破るために背理法を用いた。

Euclid used reductio_ad_absurdum to prove there are infinitely many primes.

ユークリッドは素数が無限にあることを背理法で証明した。

Reductio ad absurdum is a powerful technique in mathematical proofs.

帰謬法は数学的証明において強力な手法だ。