我想透过Exists和Reduce函数，得到f(x)=x^2的对应域
数学上对应域即为range f = {y | 存在x, y=f(x)}，
其中命题函数是P(y):="存在x, y=f(x)"
既然有命题函数，我当然想透过Reduce(or FullSimplify)求解，
就好比 命题函数 "3x^2+2x-1 <0"可以透过Reduce求解一样
f[x_] := x^2
Reduce[Exists[x, y == f[x]], y]
结果我发现它直接给出true耶？照理说
Exists[x, y == f[x]] 若要问它真假值，是给不出来的(因为y未知)
超怪= =
当然我猜Reduce[Exists[x, y == f[x]], y]的True意思不是逻辑的true，
而是实数集合R。可是f(x)=x^2的对应域一定≧0呀!

难道跟复数有关? 可是我记得之前的经验，感觉都实数,冏(感觉Reduce默认要解的都是实数)

好像真的是复数...改成Exists[x,Element[x,Reals],y==f[x]]就给出 Re[y]>=0&&Im[y]==0 的结果你的另外问题似乎可以查一下 Interval 这个东西唔, Interval 含端点...不过如果是用 Interval 的话那能用 IntervalMemberQ 查询

interval 好像挺直观的http://ppt.cc/ZT6j这真的是超有意思的coding logic也只有mathematica才能这样大玩特玩量词逻辑

是说 Interval 这样代不一定是正确的区间喔例如 f[x_]:=x+x^2 则 f[Interval[{-1,1}]] 会得到Interval[{-1,2}] 而不是正确的值域 Interval[{-1/2,2}]因为这样代入时两个 Interval 物件是独立考虑的(这个例子是 Interval 的说明里的例子)