English Dictionary

proof by exhaustion

名詞

(logic) The indirect verification or falsification of a statement by the verification or falsification of each of the finite number of cases which arise therefrom.

日本語の意味

有限個の各場合を個別に検証することにより、命題の正しさまたは誤りを確かめる論理的手法。 / 場合分けを行い、すべての可能なケースに対して検証を実施することで、命題の真偽を確定する方法。

To verify the conjecture for all small integers, the team resorted to a proof by exhaustion, systematically checking each possible case.

小さな整数すべてについてその予想を検証するために、チームは場合分けによる証明に頼り、可能な各場合を系統的に確認した。

意味（1）

(logic) The indirect verification or falsification of a statement by the verification or falsification of each of the finite number of cases which arise therefrom.

proofs by exhaustion （ plural ）