$y"x( →P(x, y)) 是谓词公式。
A: 正确
B: 错误
A: 正确
B: 错误
举一反三
- "x(G(x，y)∨$yH(y))是谓词公式。 A: 正确 B: 错误
- 以下谓词公式中，( )是逻辑有效式。 A: "x Q(x) Þ ($x Q(x)∨"y S(y) ) B: $x(A(x)ÞB) Û $xA(x)ÞB C: $x(A(x)∧B(x)) Û $xA(x)∧$xB(x) D: "x$y P(x,y) Þ $x"y P(x,y)
- $y"x( →P(x, y)) 是谓词公式。
- 谓词公式∃y(∀x(P(x,y))→P(x))中y是____变元
- 谓词公式($x)F(x) Þ ($x)G(x)的前束范式是( )。 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))