ツイッタ「ε-δ論法が難しいわけないだろ」 (223ﾚｽ)
上下前次1-新
抽出解除 ﾚｽ栞
146(1): １３２人目の素数さん [] 2025/01/01(水) 21:23:28.70 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: １３２人目の素数さん [] 2025/01/01(水) 21:25:01.13 ID:9xToLd+V(1/12) AAS
>>145-146
理解力がなさ過ぎて呆れる
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.664s*