(mathematics, logic) The method of disproving a statement by assuming the statement is true and, with that assumption, arriving at a blatant contradiction.
reductio ad absurdum
提案された補題を論駁するために、彼女は背理法を用いてその主張を仮定し、明白な矛盾を導いた。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
