以下公式是∀xF(x)→∃yG(x,y)的前束范式的是
举一反三
- 下列公式中,哪些是逻辑有效的?( ) A: "xF(x)®($x$yG(x,y)®"xF(x)) B: Ø("xF(x)®$yG(y))Ù$yG(y) C: "x(F(x)®G(x))
- 公式“∀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))
- Ø"xF(x)® $yG(y)的前束范式是（ ） A: "x$y(Ø F(x) ® G(y)) B: "x"y(Ø F(x) ® G(y)) C: $x"y(Ø F(x) ® G(y)) D: $x$y(Ø 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: 其它选项都不对。
- 公式(∀xF(x,y)→∃yG(y))→∀xH(x,y)的前束范式是（） A: ∀x∀t∀w((F(x,y)→G(t))→H(w,y)) B: ∀x∃t∀w((F(x,y)→G(t))→H(w,y)) C: ∀x∃y((F(x,y)→G(y))→H(x,y)) D: ∃x∃t∃w((F(x,y)→G(t))→H(w,y))