このページに関してのお問い合わせはこちら
数学の質問スレ
ツイート
171
:
132人目の素数さん
:
2005/11/29(火) 17:28:58
すいません。低レベルな質問ですが、お願いします。
ttp://takaosuda.hp.infoseek.co.jp/homepage/incomplete/chap01.html
↑のページで、
定義2 証明とは、真と認められる命題から新しい真の命題を導くことをいう。
とありますが、これはたとえば、「証明とは、真と認められる命題から、ある別の命題が真/偽のいずれであるかを判定することをいう」とでもしないと証明が成り立たないですよね?
それとも、「新しい真の命題を導くこと」のうちに、これと同じ意味が含まれてるんでしょうか?