[過去ﾛｸﾞ] スレタイ 箱入り無数目を語る部屋17 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) 自ID ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
714(1): 03/13(水)00:00 ID:ascKCvNK(1/14) AAS
>>713
別にお前がそれを変数のつもりで使ってるなら勝手にやっててくれていいから
716(1): 03/13(水)00:16 ID:ascKCvNK(2/14) AAS
>>715
別に勝手に使うぶんには構わないよ
好きにして
718(1): 03/13(水)00:32 ID:ascKCvNK(3/14) AAS
>>717
x+1を変数だと言うやつとは話しないから
720(1): 03/13(水)00:50 ID:ascKCvNK(4/14) AAS
>>719
君の中では変数なんでしょ
それで首尾一貫してれば好きにすればいいじゃん
722: 03/13(水)01:13 ID:ascKCvNK(5/14) AAS
>>721
自分で調べて解決したならそれでいいじゃん
好きにして
724(1): 03/13(水)01:27 ID:ascKCvNK(6/14) AAS
>>723
そうだねx+1は変数だね
すごいすごい
726(1): 03/13(水)01:41 ID:ascKCvNK(7/14) AAS
>>725
変な論理式書くやつにはどうせわからん
728(1): 03/13(水)01:51 ID:ascKCvNK(8/14) AAS
>>727
xが変数だからx+1も変数とかいいだす人間に記号論理学ができるわけないだろ
家庭教師でも雇って教えてもらえ
730(1): 03/13(水)02:12 ID:ascKCvNK(9/14) AAS
>>729
君が問題ないと思ってるならそれでいいじゃん
全く住んでる星が違うんだから好きにやっていいよ
732: 03/13(水)03:28 ID:ascKCvNK(10/14) AAS
>>731
勝手に数学もどきでもやってろ
739: 03/13(水)17:26 ID:ascKCvNK(11/14) AAS
∃x+1.は普通は構文エラーだろ、なくてもいいとかそういう次元じゃない
x+1が変数だというなら、他の人が読めるようにα変換して普通の変数で書き直せよ
741: 03/13(水)17:54 ID:ascKCvNK(12/14) AAS
お前が変数だと主張するなら勝手にすればいいよ
x+1が変数ではないってのは一般常識の話なんだから
数学では普通は変数はアルファベット一文字が常識で、たまに長い単語を使うことがあるし、君はその延長でx+1も変数に入れたかったんだろ勝手にしろよ
743: 03/13(水)18:13 ID:ascKCvNK(13/14) AAS
x+1が仮に変数だとして
＞∀x∈ℕ.∃(x+1).x<x+1
これをα変換したら
∀x∈ℕ.∃y.x<x+1
なのか
∀x∈ℕ.∃y.x<y
なのかすら不明瞭な状態で
＞すると
＞∀x∈ℕ.x<x+1
＞と
省3
745: 03/13(水)19:09 ID:ascKCvNK(14/14) AAS
>>744
α変換しないと最後のx+1が変数なのかxに1を足したのかどっちなのか曖昧だろ
どっちとも取れる状態で質問しないでくれますか？
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.080s