量词!表示“有且仅有",!xP(x)表示有且仅有一个个体满足谓词P(x).试用量词,,等号“=”及谓词P(x)表示!P(x),即写出一个通常的谓词公式使之与!xP(x)具有相同的意义.
A.("x)($y)love(x,y)
B.($y)("x)love(x,y)
C.($x)("y)love(x,y)
D.("y)($x)love(x,y)
设解释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))的涵义如何?真值如何?
MM的无公司税模型命题二可用公式表示为:KsL = KsU +(KD-KsU) (SL/D)。()