reductio

C2 general

複数:

reductios

意味・定義

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「reductio」は、「reductio ad absurdum（帰謬法・背理法）」の略で、論理学で仮定から矛盾を導き出して仮定が誤りであることを証明する方法を指します。

Reductio is short for 'reductio ad absurdum', a logical argument form that proves a proposition by showing that assuming the opposite leads to a contradiction or absurd conclusion.

ライセンス: KeyLang Original

例文

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

The philosopher used a reductio argument to disprove the theory.

その哲学者は背理法を使ってその理論を反証した。

Reductio ad absurdum is a powerful technique in mathematical proofs.

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

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

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

Euclid used reductio_ad_absurdum to prove there are infinitely many primes.

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