设解释R如下: D<sub>R</sub>是实数集,D<sub>R</sub>中特定元素a=0,D中特定函数f(x,y)=x-y, 特定谓词F(x,y):x<y,问公式A= VxVyVz(F(x,y)→F((x,z),f(y,z))的涵义如何?真值如何?
A.既不是自由变元又不是约束变元
B.是约束变元但不是自由变元
C.是自由变元但不是约束变元
D.既是自由变元又是约束变元
量词!表示“有且仅有",!xP(x)表示有且仅有一个个体满足谓词P(x).试用量词,,等号“=”及谓词P(x)表示!P(x),即写出一个通常的谓词公式使之与!xP(x)具有相同的意义.
(1)对于密度为μ(x,y,z)的非均匀空间曲线L,写出它的重心公式;
(2)试求螺旋线上对应于0≤t≤m的一段弧的重心。
计算空间有界曲面z=z(x,y),(x,y)∈D的面积时,除了用公式
外,是否还有其他的方法?
A.("x)($y)love(x,y)
B.($y)("x)love(x,y)
C.($x)("y)love(x,y)
D.("y)($x)love(x,y)