数学基礎論・数理論理学のスレッド その7at MATH数学基礎論・数理論理学のスレッド その7 - 暇つぶし2ch■コピペモード□スレを通常表示□オプションモード□このｽﾚｯﾄﾞのURL■項目テキスト450:１３２人目の素数さん 11/03/19 14:41:41.10 んなら>>446の逆も成り立ちますってどういうことなの 451:368 11/03/19 14:44:01.60 論理学をつくるが出典か。 それじゃあ深い意味はなく、 使いやすい程度の直感的な命名の可能性が高い。 452:１３２人目の素数さん 11/03/19 14:45:21.50 そんじゃ、どっちがstrongもなく、同値な定理と考えてＯＫ？ 453:１３２人目の素数さん 11/03/19 14:46:54.49 ちなみに、地の文にも「より強い置き換えの定理」とはっきり書かれています 454:368 11/03/19 14:48:57.61 >>450 私の間違えですね。訂正します。 ： A→B B ------------ A ： のとき、A→BはAよりも強いと言いますから、 同値の場合は強いとは言わないかもしれないですね。 455:１３２人目の素数さん 11/03/19 14:52:51.44 >>454そこを詳しく！ 456:368 11/03/19 14:56:16.92 多分戸田の言いたいことは、 strong replacement theorem は replacement theorem と同値だが、 C[A] と C[B] が論理的同値 という別の命題があった場合、 strong replacement theorem は 「A と B が論理的同値でない」 場合にも成り立ちますが、 このとき replacement theorem が成立している必要はないという意味で、 「強い」と命名したんじゃないんでしょうか。 ですから>>454でいうような定義での「強い」ではないですね。 まぁその本読んだことないんで知りませんが。 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch