ツイッタ「ε-δ論法が難しいわけないだろ」 (223ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
ﾘﾛｰﾄﾞ規制です｡10分ほどで解除するので､他のﾌﾞﾗｳｻﾞへ避難してください｡
145(3): 01/01(水)21:19 ID:5Cgme/7b(5/16) AAS
件の人は
∀xP(x)
と
∀yP(y)
の同値性が自明と感じないのと
(∀xP(x))∧(∀xQ(x))=∀x(P(x)∧Q(x))
を認めたくないのと
これと
(∃xP(x))∧(∃xQ(x))=∃x(P(x)∧Q(x))
というあり得ない等式を同一視して非難するのと
スコープについて完全に誤解しているのと
N''=max(N,N')
を認めたくないというような
ある言名がどのレベルで適用されなくてはならないかを
厳密に考えることしか許さないのとで
まるで普通の数学ができないんだろうなと思うほかないな
146(1): 01/01(水)21:23 ID:5Cgme/7b(6/16) AAS
>>145
>(∀xP(x))∧(∀xQ(x))=∀x(P(x)∧Q(x))
>を認めたくないのと
∀x(P→Q(x))=P→∀xQ(x)
も認めないみたいね
（もちろんPにxが含まれない場合）
147: 01/01(水)21:25 ID:9xToLd+V(1/12) AAS
>>145-146
理解力がなさ過ぎて呆れる
148: 01/01(水)21:25 ID:5Cgme/7b(7/16) AAS
>>145
>厳密に考えること
字面の上でね
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ
ぬこの手 ぬこTOP 0.027s