∃x,f(x)=0という論理式についてお聞きしたいのですが、
これは条件を満たすある数がx自身なのか、方程式f(x)=0が
ある解tをもつのかどっちですか?