与“﹁"x(A(x)→B(x))”相等值的谓词公式是
A: $x(A(x)∧﹁B(x))
B: $x﹁(A(x)∧B(x))
C: "x(A(x)∧﹁B(x))
D: "x﹁(A(x)→B(x))
A: $x(A(x)∧﹁B(x))
B: $x﹁(A(x)∧B(x))
C: "x(A(x)∧﹁B(x))
D: "x﹁(A(x)→B(x))
举一反三
- 与“﹁"x(A(x)→B(x))”相等值的谓词公式是 A: $x(A(x)∧﹁B(x)) B: $x﹁(A(x)∧B(x)) C: "x(A(x)∧﹁B(x)) D: "x﹁(A(x)→B(x))
- 以下谓词公式中，( )是逻辑有效式。 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)
- 对任意的公式P(x)，Ø$xØP(x)逻辑等值于（ ）。 A: Ø$xP(x) B: "xP(x) C: Ø"xØP(x) D: ØØ"yP(y)
- 对任意的公式P(x)，"xØP(x)逻辑等值于（ ）。 A: "xP(x) B: Ø$xP(x) C: Ø"xØP(x) D: Ø$yP(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))