设解释I如下：DI是实数集，DI中特定元素a=0，DI中特定函数f(x，y)=x-y，特定谓词F(x，y)为x＜y．在解释I下，下列哪些公式为真，哪些为假?(1)xF(f(a，x)，a)；(2)xy(￢F(f(x，y)，x))；(3)xyz(F(x，y)→F(f(x，z)，f(y，z)))；(4)xyF(x，f(f(x，y)，y))．