proof by contradiction

名詞

可算名詞不可算名詞

(mathematics, logic) Proof of a statement adduced by deriving a contradiction from the statement's negation.

日本語の意味

背理法（否定仮定から矛盾を導き、その矛盾により命題の正しさを証明する数学・論理学の手法）

The professor demonstrated a proof by contradiction to show that √2 is irrational.

教授は√2が無理数であることを示すために背理法を用いて証明を示した。

意味（1）

(mathematics, logic) Proof of a statement adduced by deriving a contradiction from the statement's negation.

proofs by contradiction

（ plural ）