m-hiyama-memo https://blog.hatena.ne.jp/m-hiyama-memo/ (保存用) 檜山正幸のキマイラ飼育記 メモ編 https://m-hiyama-memo.hatenablog.jp/ 論理 Mx 2018 用語法 以下の文章（引用ではない）内の「証明」「主張」は専門用語ではない。非形式的に使用している言葉。主張は assertion, declaration, claim, statement, judgement, thesis など。 証明とは、主張の正しさを保証するものである。その主張に至る過程も含めて、主張の根拠を提示しない限りは、正しい主張として受け入れることはできない。主張の正しさの保証・根拠で重要なのはその過程であり、過程が正しくないなら、保証・根拠にはならない。もちろん、出発点となる主張の正しさも必要である。 肝は主張の定式化だろう。主張＝命題 となりがちだし、それは当然だが、うまくない… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fm-hiyama-memo.hatenablog.jp%2Fentry%2F20181119%2F1542601342" title="非形式的な説明：証明と主張 - (保存用) 檜山正幸のキマイラ飼育記 メモ編" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2018-11-19 13:22:22 rich https://m-hiyama-memo.hatenablog.jp/entry/20181119/1542601342 1.0 100%