proof by contradiction

countable uncountable

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

Japanese Meaning

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

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

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

Sense（1）

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

proofs by contradiction

（ plural ）