[↑] ,
[←] ,
[^]
, [→]
コンセプト / 予想の確かめ(
GC World 2 : いろいろな発問 ,確かめてみようか
)
予想は「正しいこと」の確証が得られていない命題である。
正しいことの確証を得るためには, 証明をする必要がある。
しかし, 証明に取りかかる前に, 「確かめてみる」ことはいくつかの意味がある。
(1) 反例が見つかれば，それは正しくない。証明する必要がないことが分かる。
(2) 反例が見つからないということは, かなり正しそうという妥当性を与える。
(3) 正しい例と反例が混在するということは, 命題の精緻化の必要性を与えてくれる。
(4) 「なぜ正しいのか」の手掛かりや, 発展の手掛かりを与えてくれるかもしれない。
それらの期待に元に行うのが,
「予想の確かめ」
である。