关于公式"y(G(x,y)®$xF(x,y,z))说法不正确的是（ ）。
A: "y的辖域:(G(x,y)®$yG(x,y,z));
B: $x的辖域:F(x,y,z);
C: x的两次出现都是约束出现;
D: z为自由出现。
A: "y的辖域:(G(x,y)®$yG(x,y,z));
B: $x的辖域:F(x,y,z);
C: x的两次出现都是约束出现;
D: z为自由出现。
举一反三
- 公式“∀xF(x)→∃yG(x,y)”的前束范式是 A: ∃x∃y(F(x)→G(z,y)) B: ∀x∃y(F(x)→G(z,y)) C: ∃x∀y(F(x)→G(z,y)) D: ∀x∀y(F(x)→G(z,y))
- 公式∀x(F(x,y,z)→G(x,y))∧H(x,y,z)中，x约束出现 次。
- 在谓词公式("x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z))中，("x)的辖域是（） A: (F(x)ÞG(y)) B: F(x) C: (F(x)ÞG(y))Þ($y)(H(x)∧L(x,y,z)) D: ("x)(F(x)
- 在谓词公式("x)(F(x)ÞG(y))Þ($y)(H(x)∧L(x, y, z))中，($y)的辖域是（ ） A: F(x) B: ("x)(F(x) C: (H(x)∧L(x, y, z)) D: （F(x)ÞG(y))
- 下面哪些是公式 ¬∃xF(x)→∀yG(x,y) 的前束范式？ A: ∃z∀y(¬F(z)→G(x,y)) B: ∃z∀y(F(z)∨G(x,y)) C: ∀y∃z(F(z)∨G(x,y)) D: 其它选项都不对。