以下哪个选项是错误的？
A: "x"yA(x,y)Þ "y"xA(x,y)
B: "x"yA(x,y)Þ $y"xA(x,y)
C: "x$yA(x,y)Þ $y"xA(x,y)
D: $y"xA(x,y)Þ"x $yA(x,y)
A: "x"yA(x,y)Þ "y"xA(x,y)
B: "x"yA(x,y)Þ $y"xA(x,y)
C: "x$yA(x,y)Þ $y"xA(x,y)
D: $y"xA(x,y)Þ"x $yA(x,y)
举一反三
- "x"yA(x,y)Û "y"xA(x,y)
- ∀x∃yA(x,y)⇔∃y∀xA(x,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)
- 以下谓词公式中，( )是逻辑有效式。 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是自由变元的是（ )。 A: ∃y(∀xP(x,y)→R(x,y)) B: ∀xQ(x)∧∀y∃xA(y,x) C: ∃xP(y)∨∀xQ(x,y) D: ∀yC(x,y)∧∀x﹁Q(x)