- 917 名前：908 [2006/03/10(金) 09:19:01 ]
- ＞＞916お返事ありがとうございます。一致するとは書いてありませんが、定義の通り解釈すれば一致するということと同じであるように受け取れます。
もし自由変数の番号付け替え可能ならば話は別です。しかしその可能性は薄い気がします。
Ｍ m∽∀ｘＡ(xｊ)の定義は松本さんの本によると「m＝n(i)をみたす任意のnに対してＭ n∽Ａ(ai)
ただしaiはＡ(xｊ)に表れない自由変数のうちで最小の番号を持ったものとする」
書いてあります。
