(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.
proof by exhaustion
小さな整数すべてについてその予想を検証するために、チームは場合分けによる証明に頼り、可能な各場合を系統的に確認した。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
