？

2：POYOX：2003/05/18(日) 23:11: ●背理法について
背理法とは簡単にいうと、「ある事象Ａの成立(不成立)を仮定して、そこから
矛盾を導いて、事象Ａの不成立(成立)を間接的に証明する方法」です。

●お絵描きロジックでの背理法利用。　（白黒ロジックを考えてみます）
①まず、あるマスを「黒マスである」と仮定し、実際に黒マスをそこに置いてみます。
②次に、その黒マスを取っ掛かりとして、いつものように理論的にマスを埋めていきます。
③その過程で、もしも矛盾が生じてしまったら、「最初に仮定したそのマスは
　　黒マスではない」ということが証明され、そのマスを白マスと決定できるのです。
　　
　　（※最初の仮定は「黒マスではない」でももちろん大丈夫です。
　　その際は矛盾が生じたら「最初に仮定したマスは黒マスである」
　　ということが証明されます。)

新着レスの表示

※書き込む際の注意事項はこちら

※画像アップローダーはこちら

（画像を表示できるのは「画像リンクのサムネイル表示」がオンの掲示板に限ります）

掲示板管理者へ連絡無料レンタル掲示板