[過去ﾛｸﾞ] 高木くんがアクセプトされるまで見守るスレ ★4 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
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.039s