[過去ログ] 純粋・応用数学 (1002レス)
上下前次1-新
抽出解除 必死チェッカー(本家) (べ) 自ID レス栞 あぼーん
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
リロード規制です。10分ほどで解除するので、他のブラウザへ避難してください。
965(1): 2020/06/19(金)21:22 ID:kCOxMiM8(1/12) AAS
>>925
任意の数xについて、x=x、ゆえに∀x(x=x)
967: 2020/06/19(金)21:29 ID:kCOxMiM8(2/12) AAS
>>963
∀x(xは偶数→xは2の倍数)∧∀x(xは2の倍数→xは自然数)→∀x(xは偶数→xは自然数)
という意味だよ
また、同値を用いたとしても
∀x(xは偶数↔xは2の倍数)∧∀x(xは2の倍数→xは自然数)→∀x(xは偶数→xは自然数)
になるだけのことでまったく問題ないどころか、むしろより条件が強くなるだけ
970(1): 2020/06/19(金)21:49 ID:kCOxMiM8(3/12) AAS
>>966
定義を使うと何でダメなの?
972: 2020/06/19(金)21:56 ID:kCOxMiM8(4/12) AAS
任意の数xについて、xは偶数↔xは偶数、ゆえに∀x(xは偶数↔xは偶数)
ホレ、対偶も背理法も使ってないぞ
973(1): 2020/06/19(金)22:07 ID:kCOxMiM8(5/12) AAS
>>961
これ、シレっと閉じてるけどさ、
「偶数↔2の倍数」を示すという趣旨なのに、
示されるべき当のものを利用して閉じてるだろ?
論点先取りの反則だから、ちゃんとAと¬Aを示した上で×にしろよ
人には定義すら使うなと縛るくせに自分に甘いよな
976: 2020/06/19(金)22:48 ID:kCOxMiM8(6/12) AAS
>>975
>(2) (∀x)Fx
から、F1と全称例示化すれば簡単に矛盾が出せる
そもそも
>∀xFx→∀xGx
なんてやってる時点で大間違いで、まるで理解できていない
オマエ、やることなすことすべてがデタラメだよ
977: 2020/06/19(金)22:49 ID:kCOxMiM8(7/12) AAS
>>974
言ってる意味は不明だが、ゴミはお前の頭だよ
978(1): 2020/06/19(金)22:53 ID:kCOxMiM8(8/12) AAS
とにかく、>>925の間違いは理解できたのか?
いつもそうだけどさ、なかったことにしてシレっとフェードアウトするのやめなよ
981(1): 2020/06/19(金)23:13 ID:kCOxMiM8(9/12) AAS
最初は、極限を示せなくともダメではなかったのに、
後になると、極限を示せないからダメだと言い出す安達
>大きくなったらダメとも、εが巨大だとダメとも言っていない(笑>>180
↓↓↓後日↓↓↓
>ε=100000000では極限は示せないのだから、
>ε=100000000ではダメなのである(笑>>888
982: 2020/06/19(金)23:17 ID:kCOxMiM8(10/12) AAS
分かったから安達は
>定数関数y=0も不連続である(>>735
を示すのにどんな微小なεを使えばいいのか教えてくれ
984: 2020/06/19(金)23:39 ID:kCOxMiM8(11/12) AAS
>>170
>x=3で連続、x=30で不連続の場合があるから、
>>εが小さいところで調べておけば、自動的にεが大きいところでも調べたことになるのです
>ということにはならないのだアホ(笑
あるεにδがあればより大きいεにもδがあるという、
ごく当たり前の話を、意味不明な理由で否定する安達
985: 2020/06/19(金)23:47 ID:kCOxMiM8(12/12) AAS
>>983
それ、お前がデタラメ書いてたから指摘してやったら反論できず
シレっとフェードアウトしたやつじゃん
全称例示化がない?
バカは、鼻くそでも食ってなさい
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.037s