20/06/19 23:39:11 qXfDhvSl.net
>>982
お前さ
何でも知っているみたいな書き込みをしているけど
背理法の論理式は書けるようになった？
条件法の否定￢(P→Q)の意味はわかった？
それからタブローに自然演繹を混ぜようとするのは止めてくれ
タブロー法に全称例化という概念はない
だから混乱しているし意味不明なんだよ
1060:１３２人目の素数さん
20/06/19 23:39:50 kCOxMiM8.net
>>170
＞x=3で連続、x=30で不連続の場合があるから、
＞>εが小さいところで調べておけば、自動的にεが大きいところでも調べたことになるのです
＞ということにはならないのだアホ(笑
あるεにδがあればより大きいεにもδがあるという、
ごく当たり前の話を、意味不明な理由で否定する安達
1061:１３２人目の素数さん
20/06/19 23:47:39 kCOxMiM8.net
>>987
それ、お前がデタラメ書いてたから指摘してやったら反論できず
シレっとフェードアウトしたやつじゃん
全称例示化がない？
バカは、鼻くそでも食ってなさい
1062:１３２人目の素数さん
20/06/19 23:53:56 qXfDhvSl.net
個体変項と個体定項しかないタブローで数学をどれくらい表現できるのか
が問題だな
等号や不等号はおｋ
集合に属するか属さないかはおｋ
集合の性質に関するものも一応おｋ
これは性質をどれくらい反映できるかによると思う
数理論理学は何をやってんだろ
自然演繹なんて∧の導入や除去はわかりやすいけど
∨の導入・除去はわかりにくい
そんなものが普及するはずもない
タブローは単純明快だ
これで何とかできないかなあ
1063:現代数学の系譜 雑談 ◆yH25M02vWFhP
20/06/19 23:59:08 imq2ACd0.net
新スレ立てました
ガロアスレ復活しましたｗ
（皆さんが、ガンバってくれたお陰です。ありがとう！（＾＾）
純粋・応用数学（含むガロア理論）2
ｽﾚﾘﾝｸ(math板)
1064:１３２人目の素数さん
20/06/20 01:17:41.40 0ts11Drz.net
↑
おまえは只のスレ立て作業員であってスレ主ではないｗ 何がお陰ですだｗ
1065:１３２人目の素数さん
20/06/20 02:25:26.47 0ts11Drz.net
>>979
>∀xFx→∀xGx
1066:君のこの主張は ∀xFx→∀yGy と同じことだよ？ｗ もちろん偽です。x=0,y=1が反例ｗ 君、変数のスコープって知らないの？
1067:１３２人目の素数さん
20/06/20 02:29:51.05 0ts11Drz.net
>>985
安達はその日の気分で言うことがコロコロ変わりますからｗ
1068:１３２人目の素数さん
20/06/20 03:23:40.56 TGCAjRpL.net
公知で中で最も広い測度って何じゃろ？リーマン、ルベーグ、ルベーグ・スティルチェス、バナッハ､
ウィーナー、ラドン、ハウスドルフ、ディラック、確率、…
(ﾟДﾟ)
(ﾟД｡)
(｡Дﾟ)
ﾟ ( Д ) ﾟ
｡.. ( Д ) ..｡
1069:粋蕎
20/06/20 04:10:27.13 TGCAjRpL.net
測度なんぞ儂ごときが会得しとる訳が無し！
じゃが広義ディラック測度は広義ハウスドルフ測度も呑み込んどりそうじゃのう、美味しそうじゃ…
儂は数学者が握った測度寿司を摘まみ掻っ喰らう工学客じゃな｡
別にええじゃろ、数学者の成果を使わせて頂くのじゃ。使わん方が害悪｡
しかし其んな儂でもε-δ論法の意味は不等式の任意性の妙味に有り、既に其の時点で完成されて居って、此れを態々
εrror-orderを有限微小に限定し有限微小なδistance-qualityを得る努力を行う必要は無い事であって、其れは
「数値解析」や「測定」じゃの云う「応用数学」や「技術」「観測哲学」の話であって、「純粋数学」の話から
大きく外れた事じゃあ云う事は儂にも分かるわ。恐らく高校理系生徒にも名門の子なら分かるじゃろうな｡
1070:１３２人目の素数さん
20/06/20 04:36:21.77 Knd5V/HY.net
>>993
じゃあ同値よりもさらに強い同義なんだと自ら認めてしまったわけか
同義語の反復をして何を示していると思っているの？
∀xFx→∀xFx
さらに
∀xFx→∀xFx 偶数は2の倍数
∀xFx→∀xGx 2の倍数は自然数
ゆえに
∀xFx→∀xGx 偶数は自然数
だから
2の倍数→自然数
を示したかったんでしょ？
同義語・対偶・背理法を使わないで示してみてよ
つーかこの証明が頭悪いわ
いいや
終わり
1071:１３２人目の素数さん
20/06/20 04:39:52.88 Knd5V/HY.net
これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと￢Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
1072:１３２人目の素数さん
20/06/20 04:40:11.84 Knd5V/HY.net
これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと￢Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
1073:１３２人目の素数さん
20/06/20 04:40:29.68 Knd5V/HY.net
これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ？
論点先取りの反則だから、ちゃんとAと￢Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
1074:１３２人目の素数さん
20/06/20 05:33:02.36 Knd5V/HY.net
埋め
1075:１３２人目の素数さん
20/06/20 05:33:20.17 Knd5V/HY.net
梅
1076:１３２人目の素数さん
20/06/20 05:33:41.59 Knd5V/HY.net
生め
1077:１３２人目の素数さん
20/06/20 05:33:57.54 Knd5V/HY.net
産め
1078:1001
Over 1000 Thread.net
このスレッドは１０００を超えました。
新しいスレッドを立ててください。
life time: 115日 17時間 35分 52秒
1079:過去ログ ★
[過去ログ]
■ このスレッドは過去ログ倉庫に格納されています