[過去ログ] 純粋・応用数学 (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