[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
542(2): ◆pObFevaelafK [sage] 2023/07/23(日)09:44 ID:eeIoyfZm(9/21)
>>540
分かっていない人間にとやかくいわれる筋合いはない。AとBの関係が依存しないことを独立しているという。
命題Bが真であることは証明しているから、命題Aの否定命題には依存しない。つまり独立している。
命題Aの否定命題は仮定であるから、この仮定が真であるとすると命題Bが成立しなくなり矛盾が生じる。
よって、背理法により命題Ａの否定命題が偽となるので、命題Aは真となる。
これは数学的に正しい論理だ。
＞お前の定義言及不足オリジナル数学の読解を委ね続ける気なんだ？
こんなことを書いている>>540は本当に背理法を理解してないし、未解決問題12問を
完全に解決した私に「お前」呼ばわりで相当偉そうですね、間違いを書きまくりで
どうすればそういう言葉使いができるのでしょうか？
>>514だと思いますが、>>515のレスはスルーですか？自分が書いたことなんですから
その例を示して下さい。
＞「n^2<p<n(n+1)を満たすpが全て合成数である」→「合成数であるpは全てrと一対一の関係を設定できない。」
545(1): １３２人目の素数さん [sage] 2023/07/23(日)10:46 ID:EkZTU9WR(1/7)
>>542
>>514は俺だし、>>516のとおり反例を示してる
一つ一つがアホだな
>>538
早くアルゴリズムとやらを書いてね
最初のステップはなんだ？
大嘘つきさん
599(1): １３２人目の素数さん [sage] 2023/07/25(火)02:22 ID:Pa7cdoId(1)
何で高木は命題Bが「『命題Aの否定」命題』」=「命題¬A」等と言うんだろ？
>>542
> 命題Aの否定命題は仮定であるから、この仮定が真であるとすると命題Bが成立しなくなり矛盾が生じる｡
独立なのに命題¬Aを真と仮定すると命題Bが成立しなくなるとほざいて矛盾と宣う高木｡
> よって、背理法により命題Ａの否定命題が偽となるので、命題Aは真となる｡
独立なはずなのに否定Aを真とすると、真である筈の相方が偽と成るので背理法により命題Aを真と抜かす高木｡
世界標準数学では、命題Aが真だろうと偽だろうと単体で矛盾でも、命題Bが矛盾であるか無矛盾であるかに関与しない場合を『独立』と言うんじゃなかった？
だから高木の言う『独立』の解釈って、また、非標準数学的で、実に日本語の自由度に任せた解釈になってる様にしか見えないんだよ｡
何で未だに高木は、日本語読解力とか言って忖度を求める『察してちゃん』で在り続けるんだろ？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.054s