下列公式中,哪些是逻辑有效的?( )
A: "xF(x)®($x$yG(x,y)®"xF(x))
B: Ø("xF(x)®$yG(y))Ù$yG(y)
C: "x(F(x)®G(x))
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(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: ∃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(x,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: 其它选项都不对。
- 下列公式哪些不是永真式 A: ∀xF(x) ® ∃xF(x) B: ∀xF(x) ® F(y) C: F(y) ® ∃xF(x) D: ∃yF(y) ® F(x)