証明がなぜ証明になるのかわからない

質問

勉強をしているとたまにあることなのですが、理論的な事柄を証明するために

Ａを証明する。
　・
　・
ここで、○○が△△であるとすると、～～なので・・・
　・
　・
よってＡとなる。

という記述を見ます。
この場合「であるとすると」という仮定が入っているので、所詮は仮定であって証明にはなっていないと思うですが、こういう書き方をしていても証明になっているものなのでしょうか。

回答No.7

noname#165597

自分の考えですが

公式や理論は、その昔にはなかったけれども、数学者と呼ばれる人たちが色々実験してみて、ひとつの公式として導くことができたものだと思います。

公式とは「こうすると」＝「こうなる」というルールです。公式を大前提とします。

その上で何らかの「仮定を」与えてやる必要があります。
そして仮定を小前提として、公式に仮定を当てはめて得られた結果が、公式に合えば、その証明は正しいと評価できるのではないでしょうか。

う～ん、説明下手ですね(^^;;

お礼

う～ん、ちょっとよくわかんないです。ごめんなさい（汗）

回答No.6

12m24

科学で言われている証明とは、「それを否定する理論が存在しない」ことを明らかにしているだけです。かつてNewton力学が、Einsteinの相対性理論によって覆された例が最も端的かと思います。（この場合、エネルギーは光速以上の速度で伝播しないことが示された）
　ですので、科学で言われている証明は、実際には数学的に理にかなった証明ではなく、何がしかの仮定に基づいているわけです。

　ちなみに、数学もはじめは「1+1=2」という仮定が根本にあるのですが。

回答No.5

kusokuzeshiki

するどいですね。数学の本なんかでも、よく「明らかに」
と詳細な説明をスキップする場合はあります。実はその
仮説が厳密に考えて本当に正しいのかを考察すること
も重要です。まあ、ほとんどの場合は仮説は正しいの
でしょうが、誰かが正しいといったから天下り的に信じるか
そこを徹底的に疑うことで論理的思考力の基礎を磨くか
で先々差がつきます。頑張ってください。

回答No.4

fushigichan

frankさん、こんにちは。

＞ここで、○○が△△であるとすると、～～なので・・・
この場合「であるとすると」という仮定が入っているので、所詮は仮定であって証明にはなっていないと思うですが、こういう書き方をしていても証明になっているものなのでしょうか。

「○○が△△である」という条件が使えれば、証明できると思います。

○○が△△であるとき、それはＡになる、
という結論を導き出せたとして、
「○○が△△である」という条件そものもが満たされていれば
それは成り立つ、ということなので、証明できたことになります。

お礼

条件付の証明である。そう考えることもできますね。
気づきませんでした、ありがとうございました。

回答No.3

ranx

「○○が△△である」ことが確実に言えるような文脈であれば、
証明はなされていると思います。
確実かどうかは文脈によるので、これだけでは何とも言えません。

お礼

ありがとうございます。
そうですね、文脈によると思いますが、この場合はそうであることが確実に言えるかどうか定かではない場合です。

回答No.2

ymmasayan

＞「であるとすると」という仮定が入っているので

仮定ではなくて条件を絞り込む前提だと思いますが。

回答No.1

noname#6384

＞この場合「であるとすると」という仮定が入っているので、所詮は仮定であって証明にはなっていないと思うですが、

あくまでその学問における根本的な決まったルールですから、それに従っていれば、それが正しいことになると思います。