下列谓词公式中,不是 前束范式的为

对于公式(∀x)(P(x,y)→Q(x,z))⋁(∃z)R(x,z),下列说法正确的是（）

设论域为{1,2},与公式(∃x)A(x)等价的是（）

设给定赋值N如下:个体域为自然数集;特定元素a=0;特定函数f(x,y)=x+y,g(x,y)=xy;特定谓词F(x,y)为x=y在赋值N下,下列公式为真的是（）

用谓词表达式写出下列命题。 (1)小张不是研究生; (2)若m是奇数,则2m是偶数; (3)那位戴眼镜穿西装的大学生在看一本英文杂志。

符号化下列命题，并构造推理证明。任何人如果他是素食者，他就不喜欢吃肉；每一个人或者喜欢吃肉或者喜欢吃蔬菜；有的人不爱吃蔬菜。因而不是所有的人都是素食者。

指出下列公式中的约束变元和自由变元,并指明量词的辖域。 (1)∃x(F(x)⋀S(x))→∀y(M(y)→W(y)); (2)∃y(M(y)⋀¬W(y)); (3)∃x∀y(F(x,y)⋀S(z)); (4)∀x∃y(F(x,z)→Q(y))⟷ S(x,y)。

在一阶逻辑中,将下列命题符号化,并且要求只能使用全称量词。 (1)没有人长着绿色头发; (2)有的上海市民没有去过东方明珠塔。

在一阶逻辑中,将下列命题符号化,并且要求只能使用存在量词。 (1)没有人长着绿色头发; (2)有的上海市民没有去过东方明珠塔。

设解释I如下:D={2,3},已知f（2)=3，f(3)=2,F(2)=0,F(3)=1，G(2,2)=G(2,3)=0,G(3,2)=G(3,3)=1。 求谓词公式(∀x)(F(x)→G(x，f(x)））在I下的真值。