11/09/03 22:25:20.34
>>553
＞「fはx,yに依存して決まり、本当はf_{x,y}のように書かれる」
の方に決まっている。
＞f(x)＝1であり、かつf(x)＝2
なんていう関数が存在するわけない。
＞「α＝β∩γが成り立ち、α＝β∪γは成り立たない」
だから問題のとらえ方で、>>531のようになるっていっている。
他人の文章を把握するのに大変に問題があると考えられる。
こちらが、言っていないないようを勝手に解釈して批判するのを止めていただきたい。
>>519の証明が奇妙なのは、(C) => (Q)の条件が現れないこと。
また>>519では
＞[1.5] よって、(i)の場合は、fは定数関数で、その値は1である。
となっていてfが(B)を満たすとなっているのにも関わらず、何故それ以外の場合を考慮しなければ
ならないのか？
＞[1.7] [1.2]により、fは(C)を満たす
となっているが、α=β∩γであれば、これはいえない。
なお>>522+>>523については理解しているので繰り返さないようにお願いしたい。